From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: by sourceware.org (Postfix, from userid 48) id 7549638518BB; Mon, 14 Nov 2022 18:03:43 +0000 (GMT) DKIM-Filter: OpenDKIM Filter v2.11.0 sourceware.org 7549638518BB DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gcc.gnu.org; s=default; t=1668449023; bh=vBAqZXePYNAHwq8rkKowjMqcWhpKy/SIxSevoflxlxo=; h=From:To:Subject:Date:In-Reply-To:References:From; b=HXC2tkmU/fS/ImwfJNxf5tuN7XJ3mI3A9U+5e/WCN3qryt+QQef0HVK9CKun9Hx+f D98rJkJcvETby9G/Q2eoLk337Eb7/eFjgo5adV06tCsirKa8/W8akJ2GEuqBW1aiE9 vOUONVdpQUZc7ld8mCvu/hx4zzBiCx2V2hiq3kJU= From: "anlauf at gcc dot gnu.org" To: gcc-bugs@gcc.gnu.org Subject: [Bug fortran/107576] [10/11/12/13 Regression] ICE in gfc_conv_procedure_call, at fortran/trans-expr.cc:6193 Date: Mon, 14 Nov 2022 18:03:43 +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: 13.0 X-Bugzilla-Keywords: accepts-invalid, ice-on-invalid-code X-Bugzilla-Severity: normal X-Bugzilla-Who: anlauf at gcc dot gnu.org X-Bugzilla-Status: NEW X-Bugzilla-Resolution: X-Bugzilla-Priority: P4 X-Bugzilla-Assigned-To: unassigned at gcc dot gnu.org X-Bugzilla-Target-Milestone: 10.5 X-Bugzilla-Flags: X-Bugzilla-Changed-Fields: cc Message-ID: In-Reply-To: References: Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: quoted-printable X-Bugzilla-URL: http://gcc.gnu.org/bugzilla/ Auto-Submitted: auto-generated MIME-Version: 1.0 List-Id: https://gcc.gnu.org/bugzilla/show_bug.cgi?id=3D107576 anlauf at gcc dot gnu.org changed: What |Removed |Added ---------------------------------------------------------------------------- CC| |anlauf at gcc dot gnu.org --- Comment #6 from anlauf at gcc dot gnu.org --- (In reply to G. Steinmetz from comment #5) > I had in mind Fortran 2018, 15.4.2.2 Explicit interface, > and therefore had added the examples z1c.f90 and z2c.f90. Can you point to the relevant clause? I just don't see it... (Although I agree one should need an explicit interface here.) 15.4.2.2(3) talks about dummy arguments, not about procedure references. Am I missing something? And call s(z) should be valid, although z has the POINTER attribute, as long as z is associated. > latest ifort/ifx : > error #8615: Intrinsic NULL() is passed as actual argument. An explicit > interface specifying that the corresponding dummy is pointer, allocatable= or > optional is required. > call s(null(z)) Yeah, that makes sense. > Would be interesting what e.g. NAG and Cray say about it. NAG Fortran Compiler Release 7.1(Hanzomon) Build 7101 Error: pr107576-z1.f90, line 4: Actual argument 1 to S is a disassociated pointer On the other hand, Cray Fortran : Version 14.0.0 Mon Nov 14, 2022 18:53:42 is happily compiling the code, but I don't know what it does...=