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

["sfilippone at uniroma2 dot it" <gcc-bugzilla at gcc dot gnu dot org>]

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