[Bug fortran/37429] New: Checks when assigning from a type-bound procedure broken

[Bug fortran/37429] New: Checks when assigning from a type-bound procedure broken

[domob at gcc dot gnu dot org]

It seems that code like

a = obj%func () ! PROCEDURE, NOPASS :: func => target_func

misses some checks (for instance, that a and the result of func have the same
rank) that are performed for the "equivalent"

a = target_func ()

The attached test program not only misses a diagnostic for this, but ICEs. 
I've not yet looked in detail at the ICE, but I suppose it's very likely caused
because it assumes that both ranks are equal or something like this and the
assumption failed because no error was emitted for this.


-- 
           Summary: Checks when assigning from a type-bound procedure broken
           Product: gcc
           Version: unknown
            Status: UNCONFIRMED
          Keywords: ice-on-invalid-code
          Severity: normal
          Priority: P3
         Component: fortran
        AssignedTo: unassigned at gcc dot gnu dot org
        ReportedBy: domob at gcc dot gnu dot org


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=37429

[Bug fortran/37429] Checks when assigning from a type-bound procedure broken

[domob at gcc dot gnu dot org]

------- Comment #1 from domob at gcc dot gnu dot org  2008-09-08 17:59 -------
Created an attachment (id=16255)
 --> (http://gcc.gnu.org/bugzilla/attachment.cgi?id=16255&action=view)
ICE'ing invalid test

This is the ICE'ing test.  I will investigate this bug, as it seems to be a
problem with type-bound procedures.


-- 

domob at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
         AssignedTo|unassigned at gcc dot gnu   |domob at gcc dot gnu dot org
                   |dot org                     |
             Status|UNCONFIRMED                 |ASSIGNED


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=37429

[Bug fortran/37429] Checks when assigning from a type-bound procedure broken

[domob at gcc dot gnu dot org]

------- Comment #2 from domob at gcc dot gnu dot org  2008-09-09 18:09 -------
Subject: Bug 37429

Author: domob
Date: Tue Sep  9 18:08:08 2008
New Revision: 140163

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=140163
Log:
2008-09-09  Daniel Kraft  <d@domob.eu>

        PR fortran/37429
        * resolve.c (expression_rank): Added assertion to guard against
        EXPR_COMPCALL expressions.
        (resolve_compcall): Set expression's rank from the target procedure's.

2008-09-09  Daniel Kraft  <d@domob.eu>

        PR fortran/37429
        * gfortran.dg/typebound_call_7.f03: New test.
        * gfortran.dg/typebound_call_8.f03: New test.

Added:
    trunk/gcc/testsuite/gfortran.dg/typebound_call_7.f03
    trunk/gcc/testsuite/gfortran.dg/typebound_call_8.f03
Modified:
    trunk/gcc/fortran/ChangeLog
    trunk/gcc/fortran/resolve.c
    trunk/gcc/testsuite/ChangeLog


-- 


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=37429

[Bug fortran/37429] Checks when assigning from a type-bound procedure broken

[domob at gcc dot gnu dot org]

------- Comment #3 from domob at gcc dot gnu dot org  2008-09-09 18:11 -------
Type-bound procedure call expressions missed a correct initialization of their
rank field, fixed.


-- 

domob at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|ASSIGNED                    |RESOLVED
         Resolution|                            |FIXED


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=37429