From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <gcc-bugzilla@gcc.gnu.org>
Received: by sourceware.org (Postfix, from userid 48)
 id 5482D3858C60; Fri, 27 Aug 2021 14:57:23 +0000 (GMT)
DKIM-Filter: OpenDKIM Filter v2.11.0 sourceware.org 5482D3858C60
From: "anlauf at gcc dot gnu.org" <gcc-bugzilla@gcc.gnu.org>
To: gcc-bugs@gcc.gnu.org
Subject: [Bug fortran/87737] ICE tree check: expected ssa_name, have
 addr_expr in remap_gimple_op_r, at tree-inline.c:923
Date: Fri, 27 Aug 2021 14:57:22 +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: 9.0
X-Bugzilla-Keywords: diagnostic, 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: P3
X-Bugzilla-Assigned-To: unassigned at gcc dot gnu.org
X-Bugzilla-Target-Milestone: ---
X-Bugzilla-Flags: 
X-Bugzilla-Changed-Fields: keywords cc
Message-ID: <bug-87737-4-M8wLqPsQcv@http.gcc.gnu.org/bugzilla/>
In-Reply-To: <bug-87737-4@http.gcc.gnu.org/bugzilla/>
References: <bug-87737-4@http.gcc.gnu.org/bugzilla/>
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
X-BeenThere: gcc-bugs@gcc.gnu.org
X-Mailman-Version: 2.1.29
Precedence: list
List-Id: Gcc-bugs mailing list <gcc-bugs.gcc.gnu.org>
List-Unsubscribe: <https://gcc.gnu.org/mailman/options/gcc-bugs>,
 <mailto:gcc-bugs-request@gcc.gnu.org?subject=unsubscribe>
List-Archive: <https://gcc.gnu.org/pipermail/gcc-bugs/>
List-Post: <mailto:gcc-bugs@gcc.gnu.org>
List-Help: <mailto:gcc-bugs-request@gcc.gnu.org?subject=help>
List-Subscribe: <https://gcc.gnu.org/mailman/listinfo/gcc-bugs>,
 <mailto:gcc-bugs-request@gcc.gnu.org?subject=subscribe>
X-List-Received-Date: Fri, 27 Aug 2021 14:57:23 -0000

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=3D87737

anlauf at gcc dot gnu.org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
           Keywords|ice-on-valid-code           |diagnostic,
                   |                            |ice-on-invalid-code
                 CC|                            |anlauf at gcc dot gnu.org

--- Comment #4 from anlauf at gcc dot gnu.org ---
This is indeed invalid code that is poorly diagnosed.

F2018:  15.6.2.6  ENTRY statement

(3) ... If the characteristics of the result of the function named in the
ENTRY statement are the same as the characteristics of the result of the
function named in the FUNCTION statement, their result names identify the s=
ame
entity, although their names need not be the same. Otherwise, they are stor=
age
associated and shall all be nonpointer, nonallocatable scalar variables that
are default integer, default real, double precision real, default complex, =
or
default logical.


Note that character variables are not listed explicitly in the last sentenc=
e,
thus the different characteristics of f and g are not allowed.

Intel also rejects the code:

pr87737.f90(17): error #6625: The character lengths of the functions must n=
ot
be different.   [G]
entry g()
------^

NAG:

Error: pr87737.f90, line 19: Function F is allocatable but ENTRY point G is=
 not


Unless we have a GNU extension here, we should reject the code in a similar
way.  Keywords adjusted.=