[Bug fortran/45494] New: [OOP] Wrong dummy argument not rejected

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

Hello,
The attached code is rejected by XLF 13.1 and NAG, but is accepted by gfortran. 
The problem is that the second instance of the call to the MOLD method passes
an object that is not type compatible.
==========================gfortran=====================
[sfilippo@localhost bug24]$ gfortran -v 
Using built-in specs.
COLLECT_GCC=gfortran
COLLECT_LTO_WRAPPER=/usr/local/gnu46/libexec/gcc/x86_64-unknown-linux-gnu/4.6.0/lto-wrapper
Target: x86_64-unknown-linux-gnu
Configured with: ../gcc/configure --prefix=/usr/local/gnu46
--enable-languages=c,c++,fortran : (reconfigured) ../gcc/configure
--prefix=/usr/local/gnu46 --enable-languages=c,c++,fortran
Thread model: posix
gcc version 4.6.0 20100902 (experimental) (GCC) 
[sfilippo@localhost bug24]$ gfortran -c bug24.f03 
[sfilippo@localhost bug24]$ 
==================== xlf ===================================
bash-3.2$ which xlf
/opt/IBM/compilers/xlf13.1/usr/bin/xlf
bash-3.2$ xlf2003 -c bug24.f03 
** foo_mod   === End of Compilation 1 ===
** foo_2_mod   === End of Compilation 2 ===
** foo_3_mod   === End of Compilation 3 ===
"bug24.f03", line 43.17: 1513-061 (S) Actual argument attributes do not match
those specified by an accessible explicit interface.
** bar   === End of Compilation 4 ===
1501-511  Compilation failed for file bug24.f03.


-- 
           Summary: [OOP] Wrong dummy argument not rejected
           Product: gcc
           Version: 4.6.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: x86_64-unknown-linux-gnu
  GCC host triplet: x86_64-unknown-linux-gnu
GCC target triplet: x86_64-unknown-linux-gnu


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