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 C8FDA386EC12; Thu, 20 Oct 2022 21:02:07 +0000 (GMT)
DKIM-Filter: OpenDKIM Filter v2.11.0 sourceware.org C8FDA386EC12
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gcc.gnu.org;
	s=default; t=1666299727;
	bh=WwUI1GjJWBFMEPl9YshNj1zHEn4WvsLtQ4pqyoyUqlY=;
	h=From:To:Subject:Date:In-Reply-To:References:From;
	b=s2PDS2v5gX6uqnvgvC3kDcvrC3Ra1SvikbCKmPjr8S4BuEbZjzDHZ/BDClOVlvsNh
	 Jk67PgHQ5A90WQoOeeO3xZRBnIR821aJWU9ML2JT44jqsa+5GxA94Mty6CMLAL8cjT
	 uhAgNr5wf8l0bFev+CJTV1UExJlrMpIeqp/NxAkA=
From: "anlauf at gcc dot gnu.org" <gcc-bugzilla@gcc.gnu.org>
To: gcc-bugs@gcc.gnu.org
Subject: [Bug fortran/103474] ICE in simplify_cobound, at
 fortran/simplify.c:4415
Date: Thu, 20 Oct 2022 21:01:44 +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: 12.0
X-Bugzilla-Keywords: 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: ---
X-Bugzilla-Flags: 
X-Bugzilla-Changed-Fields: cc
Message-ID: <bug-103474-4-8PcZ8RwqRV@http.gcc.gnu.org/bugzilla/>
In-Reply-To: <bug-103474-4@http.gcc.gnu.org/bugzilla/>
References: <bug-103474-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
List-Id: <gcc-bugs.sourceware.org>

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

anlauf at gcc dot gnu.org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |anlauf at gcc dot gnu.org

--- Comment #3 from anlauf at gcc dot gnu.org ---
The patch in comment#1 fixes comment#0, but not comment#2, which hits anoth=
er
assert.  That one needs additionally something like

@@ -4353,7 +4356,8 @@ simplify_cobound (gfc_expr *array, gfc_expr *dim,
gfc_expr *kind, int upper)
            case AR_ELEMENT:
              if (ref->u.ar.as->corank > 0)
                {
-                 gcc_assert (as =3D=3D ref->u.ar.as);
+//               gcc_assert (as =3D=3D ref->u.ar.as);
+                 as =3D ref->u.ar.as;
                  goto done;
                }
              as =3D NULL;

However, that would lead to silent acceptance of invalid code which needs
checking elsewhere.=