From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: (qmail 19794 invoked by alias); 16 Jul 2013 06:24:02 -0000 Mailing-List: contact gcc-bugs-help@gcc.gnu.org; run by ezmlm Precedence: bulk List-Id: List-Archive: List-Post: List-Help: Sender: gcc-bugs-owner@gcc.gnu.org Received: (qmail 17371 invoked by uid 48); 16 Jul 2013 06:22:00 -0000 From: "burnus at gcc dot gnu.org" To: gcc-bugs@gcc.gnu.org Subject: [Bug fortran/40276] Matching GENERIC procedure: Wrong INTENT should give directly an error message Date: Tue, 16 Jul 2013 06:24:00 -0000 X-Bugzilla-Reason: CC X-Bugzilla-Type: changed X-Bugzilla-Watch-Reason: None X-Bugzilla-Product: gcc X-Bugzilla-Component: fortran X-Bugzilla-Version: 4.5.0 X-Bugzilla-Keywords: diagnostic X-Bugzilla-Severity: normal X-Bugzilla-Who: burnus at gcc dot gnu.org X-Bugzilla-Status: NEW X-Bugzilla-Priority: P3 X-Bugzilla-Assigned-To: unassigned at gcc dot gnu.org X-Bugzilla-Target-Milestone: --- X-Bugzilla-Flags: X-Bugzilla-Changed-Fields: Message-ID: In-Reply-To: References: Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: 7bit X-Bugzilla-URL: http://gcc.gnu.org/bugzilla/ Auto-Submitted: auto-generated MIME-Version: 1.0 X-SW-Source: 2013-07/txt/msg00762.txt.bz2 http://gcc.gnu.org/bugzilla/show_bug.cgi?id=40276 --- Comment #3 from Tobias Burnus --- Patch for PR57711 and this PR: http://gcc.gnu.org/ml/fortran/2013-06/msg00132.html (approved). It fails for the test case http://gcc.gnu.org/ml/fortran/2013-07/msg00017.html (-> PR39290 and PR20896). In that test case, "s1" and "s2" are ambiguous in F2003/F2008. However, I fear that the check in the patch above will give a bogus error for interface gen subroutine s1(x) real, external :: x end subroutine s1 subroutine s1(x) integer, external :: x end subroutine s1 end interface which is valid since F2008 ("both data objects or known to be functions, and neither is TKR compatible with the other,", 12.4.3.4.5). The issue does not occur yet, as the feature is not yet implemented.