From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: (qmail 6982 invoked by alias); 10 Sep 2011 11:24:33 -0000 Received: (qmail 6972 invoked by uid 22791); 10 Sep 2011 11:24:31 -0000 X-SWARE-Spam-Status: No, hits=-2.9 required=5.0 tests=ALL_TRUSTED,AWL,BAYES_00 X-Spam-Check-By: sourceware.org Received: from localhost (HELO gcc.gnu.org) (127.0.0.1) by sourceware.org (qpsmtpd/0.43rc1) with ESMTP; Sat, 10 Sep 2011 11:24:04 +0000 From: "janus at gcc dot gnu.org" To: gcc-bugs@gcc.gnu.org Subject: [Bug fortran/35831] [F95] Shape mismatch check missing for dummy procedure argument Date: Sat, 10 Sep 2011 11:27: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-Keywords: accepts-invalid X-Bugzilla-Severity: normal X-Bugzilla-Who: janus 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-Changed-Fields: Summary Message-ID: In-Reply-To: References: X-Bugzilla-URL: http://gcc.gnu.org/bugzilla/ Auto-Submitted: auto-generated Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: quoted-printable MIME-Version: 1.0 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 X-SW-Source: 2011-09/txt/msg00725.txt.bz2 http://gcc.gnu.org/bugzilla/show_bug.cgi?id=3D35831 janus at gcc dot gnu.org changed: What |Removed |Added ---------------------------------------------------------------------------- Summary|Shape mismatch check |[F95] Shape mismatch check |missing for dummy procedure |missing for dummy procedure |argument |argument --- Comment #7 from janus at gcc dot gnu.org 2011-09-10 11:24:02 UTC --- Some more F08 standard quotes: "12.5.2.9 Actual arguments associated with dummy procedure entities If the interface of a dummy procedure is explicit, its characteristics as a procedure (12.3.1) shall be the same as those of its e=EF=AC=80ective argum= ent, ..." "12.3.1 Characteristics of procedures The characteristics of a procedure are the classi=EF=AC=81cation of the pro= cedure as a function or subroutine, whether it is pure, whether it is elemental, whethe= r it has the BIND attribute, the characteristics of its dummy arguments, ..." "12.3.2.2 Characteristics of dummy data objects The characteristics of a dummy data object are its type, its type parameters (if any), its shape, ... If a shape, size, or type parameter is assumed or deferred, it is a characteristic." Combining the three statements above, F08 clearly demands that the *shape* = of the argument should be the same (meaning that the bounds themselves may differ). "1.3.128 shape array dimensionality of a data entity, represented as a rank-one array whose size is the rank of the data entity and whose elements are the extents of t= he data entity" So I would conclude that: * comment #0 is invalid (as well as the original c.l.f. example) * comment #2 is valid (ifort's check seems to be too strict)