From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <gcc-bugs-return-329471-listarch-gcc-bugs=gcc.gnu.org@gcc.gnu.org>
Received: (qmail 6760 invoked by alias); 2 Sep 2010 10:16:08 -0000
Received: (qmail 6705 invoked by uid 48); 2 Sep 2010 10:15:56 -0000
Date: Thu, 02 Sep 2010 10:16:00 -0000
Subject: [Bug fortran/45494]  New: [OOP] Wrong dummy argument not rejected
X-Bugzilla-Reason: CC
Message-ID: <bug-45494-9410@http.gcc.gnu.org/bugzilla/>
Reply-To: gcc-bugzilla@gcc.gnu.org
To: gcc-bugs@gcc.gnu.org
From: "sfilippone at uniroma2 dot it" <gcc-bugzilla@gcc.gnu.org>
Mailing-List: contact gcc-bugs-help@gcc.gnu.org; run by ezmlm
Precedence: bulk
List-Id: <gcc-bugs.gcc.gnu.org>
List-Archive: <http://gcc.gnu.org/ml/gcc-bugs/>
List-Post: <mailto:gcc-bugs@gcc.gnu.org>
List-Help: <mailto:gcc-bugs-help@gcc.gnu.org>
Sender: gcc-bugs-owner@gcc.gnu.org
X-SW-Source: 2010-09/txt/msg00195.txt.bz2

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