[Bug fortran/37588] New: GENERIC type-bound procedure is not resolved

[Bug fortran/37588] New: GENERIC type-bound procedure is not resolved

[sfilippone at uniroma2 dot it]

The attached code generates the error log below. Note that the code is very
similar to the example of M&RC section 16.6.2, with the obvious difference that
I am using the rank instead of type to disambiguate, and I am also using the
PASS attribute. So, I think it is legal. 

Salvatore
-------------- output --------------------
[sfilippo@localhost bugtest]$ gfortran -v -c gen-type-bound.f03 
Using built-in specs.
Target: i686-pc-linux-gnu
Configured with: ../gcc/configure --prefix=/usr/local/gnutest
--with-mpfr=/usr/local/mpfr --with-gmp=/usr/local/gmp
--enable-languages=c,c++,fortran
Thread model: posix
gcc version 4.4.0 20080919 (experimental) (GCC) 
COLLECT_GCC_OPTIONS='-v' '-c' '-mtune=generic'
 /usr/local/gnutest/libexec/gcc/i686-pc-linux-gnu/4.4.0/f951 gen-type-bound.f03
-quiet -dumpbase gen-type-bound.f03 -mtune=generic -auxbase gen-type-bound
-version -fintrinsic-modules-path
/usr/local/gnutest/lib/gcc/i686-pc-linux-gnu/4.4.0/finclude -o /tmp/ccFO3fae.s
GNU Fortran (GCC) version 4.4.0 20080919 (experimental) (i686-pc-linux-gnu)
        compiled by GNU C version 4.4.0 20080919 (experimental), GMP version
4.2.2, MPFR version 2.3.0.
GGC heuristics: --param ggc-min-expand=30 --param ggc-min-heapsize=4096
gen-type-bound.f03:8.13:

    procedure, pass(a) :: foo_m => foo_m_inner    
            1
Warning: Polymorphic entities are not yet implemented, non-polymorphic
passed-object dummy argument of 'foo_m_inner' at (1) accepted
gen-type-bound.f03:7.13:

    procedure, pass(a) :: foo_v => foo_v_inner    
            1
Warning: Polymorphic entities are not yet implemented, non-polymorphic
passed-object dummy argument of 'foo_v_inner' at (1) accepted
gen-type-bound.f03:39.10:

  call dat%foo(x1)
         1
Error: Found no matching specific binding for the call to the GENERIC 'foo' at
(1)
gen-type-bound.f03:40.10:

  call dat%foo(x2)
         1
Error: Found no matching specific binding for the call to the GENERIC 'foo' at
(1)


-- 
           Summary: GENERIC type-bound procedure is not resolved
           Product: gcc
           Version: 4.4.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: fortran
        AssignedTo: unassigned at gcc dot gnu dot org
        ReportedBy: sfilippone at uniroma2 dot it
 GCC build triplet: i686-pc-linux-gnu
  GCC host triplet: i686-pc-linux-gnu
GCC target triplet: i686-pc-linux-gnu


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

[Bug fortran/37588] GENERIC type-bound procedure is not resolved

[sfilippone at uniroma2 dot it]

------- Comment #1 from sfilippone at uniroma2 dot it  2008-09-19 16:39 -------
Created an attachment (id=16364)
 --> (http://gcc.gnu.org/bugzilla/attachment.cgi?id=16364&action=view)
test case


-- 


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

[Bug fortran/37588] GENERIC type-bound procedure is not resolved

[burnus at gcc dot gnu dot org]

------- Comment #2 from burnus at gcc dot gnu dot org  2008-09-19 20:07 -------
I believe the program is valid [modulo the CLASS/TYPE issue].

(NAG f95 by the way give an odd error message and crashes than with a
segfault.)


-- 

burnus at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |d at domob dot eu, burnus at
                   |                            |gcc dot gnu dot org
             Status|UNCONFIRMED                 |NEW
     Ever Confirmed|0                           |1
           Keywords|                            |rejects-valid
   Last reconfirmed|0000-00-00 00:00:00         |2008-09-19 20:07:54
               date|                            |


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

[Bug fortran/37588] GENERIC type-bound procedure is not resolved

[domob at gcc dot gnu dot org]

------- Comment #3 from domob at gcc dot gnu dot org  2008-09-19 20:17 -------
I'll take this on as it is about GENERIC 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|NEW                         |ASSIGNED
   Last reconfirmed|2008-09-19 20:07:54         |2008-09-19 20:17:32
               date|                            |


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

[Bug fortran/37588] GENERIC type-bound procedure is not resolved

[sfilippone at uniroma2 dot it]

------- Comment #4 from sfilippone at uniroma2 dot it  2008-09-20 06:56 -------
(In reply to comment #2)
> I believe the program is valid [modulo the CLASS/TYPE issue].
> 
> (NAG f95 by the way give an odd error message and crashes than with a
> segfault.)
> 
Well, of course; be reassured that I will try a CLASS argument as soon as it's
implemented ;-) 
But it's clearly not the issue at hand... 
Regards
SAlvatore


-- 


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

[Bug fortran/37588] GENERIC type-bound procedure is not resolved

[domob at gcc dot gnu dot org]

------- Comment #5 from domob at gcc dot gnu dot org  2008-09-23 14:28 -------
Subject: Bug 37588

Author: domob
Date: Tue Sep 23 14:26:47 2008
New Revision: 140594

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

        PR fortran/37588
        * gfortran.h (gfc_compare_actual_formal): Removed, made private.
        (gfc_arglist_matches_symbol): New method.
        * interface.c (compare_actual_formal): Made static.
        (gfc_procedure_use): Use new name of compare_actual_formal.
        (gfc_arglist_matches_symbol): New method.
        (gfc_search_interface): Moved code partially to new
        gfc_arglist_matches_symbol.
        * resolve.c (resolve_typebound_generic_call): Resolve actual arglist
        before checking against formal and use new gfc_arglist_matches_symbol
        for checking.
        (resolve_compcall): Set type-spec of generated expression.

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

        PR fortran/37588
        * gfortran.dg/typebound_generic_4.f03: New test.
        * gfortran.dg/typebound_generic_5.f03: New test.

Added:
    trunk/gcc/testsuite/gfortran.dg/typebound_generic_4.f03
    trunk/gcc/testsuite/gfortran.dg/typebound_generic_5.f03
Modified:
    trunk/gcc/fortran/ChangeLog
    trunk/gcc/fortran/gfortran.h
    trunk/gcc/fortran/interface.c
    trunk/gcc/fortran/resolve.c
    trunk/gcc/testsuite/ChangeLog


-- 


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

[Bug fortran/37588] GENERIC type-bound procedure is not resolved

[domob at gcc dot gnu dot org]

------- Comment #6 from domob at gcc dot gnu dot org  2008-09-23 14:29 -------
Fixed on trunk.


-- 

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=37588