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 D570F3858438; Tue, 27 Sep 2022 18:02:28 +0000 (GMT)
DKIM-Filter: OpenDKIM Filter v2.11.0 sourceware.org D570F3858438
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gcc.gnu.org;
	s=default; t=1664301748;
	bh=JKTJrlMMKFLehdElnHjNB1p0L0OegsUBXVaaKqMjavI=;
	h=From:To:Subject:Date:In-Reply-To:References:From;
	b=TnZSssQkhQ7Aum1FzGBW2sNhRG5NsHp1u5g7ukDwkDOahMIN0cCBhAZSX92RZJN2n
	 m769CsvyqS4syGYGDVzy/5VAEv+p4R6sb7VhhX8NlZbV3VPKIoEikSNwtjOnHBflIP
	 czX+oFbFuB3WDKsYqtjmG6H3VeXRwFxLTF4clGdQ=
From: "anlauf at gcc dot gnu.org" <gcc-bugzilla@gcc.gnu.org>
To: gcc-bugs@gcc.gnu.org
Subject: [Bug fortran/107054] [10/11/12/13 Regression] ICE in
 gfc_simplify_unpack, at fortran/simplify.cc:8461
Date: Tue, 27 Sep 2022 18:02:10 +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: 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: everconfirmed target_milestone cc
 cf_reconfirmed_on bug_status priority
Message-ID: <bug-107054-4-ELUlsOdbV5@http.gcc.gnu.org/bugzilla/>
In-Reply-To: <bug-107054-4@http.gcc.gnu.org/bugzilla/>
References: <bug-107054-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=3D107054

anlauf at gcc dot gnu.org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
     Ever confirmed|0                           |1
   Target Milestone|---                         |10.5
                 CC|                            |anlauf at gcc dot gnu.org
   Last reconfirmed|                            |2022-09-27
             Status|UNCONFIRMED                 |NEW
           Priority|P3                          |P4

--- Comment #2 from anlauf at gcc dot gnu.org ---
Confirmed.

We hit an assert that is fixed by:

diff --git a/gcc/fortran/simplify.cc b/gcc/fortran/simplify.cc
index c0fbd0ed7c2..6ac92cf9db8 100644
--- a/gcc/fortran/simplify.cc
+++ b/gcc/fortran/simplify.cc
@@ -8458,9 +8458,16 @@ gfc_simplify_unpack (gfc_expr *vector, gfc_expr *mas=
k,
gfc_expr *field)
     {
       if (mask_ctor->expr->value.logical)
        {
-         gcc_assert (vector_ctor);
-         e =3D gfc_copy_expr (vector_ctor->expr);
-         vector_ctor =3D gfc_constructor_next (vector_ctor);
+         if (vector_ctor)
+           {
+             e =3D gfc_copy_expr (vector_ctor->expr);
+             vector_ctor =3D gfc_constructor_next (vector_ctor);
+           }
+         else
+           {
+             gfc_free_expr (result);
+             return NULL;
+           }
        }
       else if (field->expr_type =3D=3D EXPR_ARRAY)
        e =3D gfc_copy_expr (field_ctor->expr);=