From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: by sourceware.org (Postfix, from userid 48) id 99A06385829C; Tue, 9 Jan 2024 11:45:56 +0000 (GMT) DKIM-Filter: OpenDKIM Filter v2.11.0 sourceware.org 99A06385829C DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gcc.gnu.org; s=default; t=1704800756; bh=hQAXE9d8iqsT619smHr167H4HCeyGfH60urQk35eSbE=; h=From:To:Subject:Date:In-Reply-To:References:From; b=FtSx0TKIQtgGdQ0XhkK1eWA+T/PXLCykuAxHPrlSRbsxpaTigGC7/ECPyUsFGvJQP 9rDGsohmDfmynFEDgiX7Pbp86tbdeVO1XDqd6APumCQFFhbMwKqsLJUqeicu6gFXPk 1diW0H9IK+yY6QMiYVekF094Qo/7lDrtPRTPdrMQ= From: "jakub at gcc dot gnu.org" To: gcc-bugs@gcc.gnu.org Subject: [Bug ipa/113197] [14 Regression] ICE in in handle_call_arg, at tree-ssa-structalias.cc:4119 Date: Tue, 09 Jan 2024 11:45:54 +0000 X-Bugzilla-Reason: CC X-Bugzilla-Type: changed X-Bugzilla-Watch-Reason: None X-Bugzilla-Product: gcc X-Bugzilla-Component: ipa X-Bugzilla-Version: 14.0 X-Bugzilla-Keywords: ice-on-valid-code, lto, needs-bisection X-Bugzilla-Severity: normal X-Bugzilla-Who: jakub at gcc dot gnu.org X-Bugzilla-Status: UNCONFIRMED X-Bugzilla-Resolution: X-Bugzilla-Priority: P3 X-Bugzilla-Assigned-To: unassigned at gcc dot gnu.org X-Bugzilla-Target-Milestone: 14.0 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=3D113197 Jakub Jelinek changed: What |Removed |Added ---------------------------------------------------------------------------- CC| |jakub at gcc dot gnu.org --- Comment #5 from Jakub Jelinek --- >From the last reproducer, one doesn't really need any extra libraries. Just ./cc1 -quiet -Wdate-time -std=3Dgnu99 -W -Wall -Wmissing-prototypes -Wwrite-strings -Wfloat-equal -Wshadow -Wpointer-arith -Wbad-function-cast -Wsign-compare -Waggregate-return -Wmissing-declarations -Wredundant-decls -Wnested-externs -Winline -Wstrict-prototypes -Wundef -Wno-unused-parameter= -g -O2 -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -flto=3Dauto -ffat-lto-objects -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=3Dformat-security -fcf-protection libct_proto_udp.i -fPIC ./cc1 -quiet -Wdate-time -std=3Dgnu99 -W -Wall -Wmissing-prototypes -Wwrite-strings -Wfloat-equal -Wshadow -Wpointer-arith -Wbad-function-cast -Wsign-compare -Waggregate-return -Wmissing-declarations -Wredundant-decls -Wnested-externs -Winline -Wstrict-prototypes -Wundef -Wno-unused-parameter= -g -O2 -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -flto=3Dauto -ffat-lto-objects -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=3Dformat-security -fcf-protection conntrack.i -fpie ./xgcc -B ./ -std=3Dgnu99 -W -Wall -Wmissing-prototypes -Wwrite-strings -Wfloat-equal -Wshadow -Wpointer-arith -Wbad-function-cast -Wsign-compare -Waggregate-return -Wmissing-declarations -Wredundant-decls -Wnested-externs -Winline -Wstrict-prototypes -Wundef -Wno-unused-parameter -g -O2 -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -flto=3Dauto -ffat-lto-objects -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=3Dformat-security -fcf-protection -Wl,-Bsymbolic-functions -flto=3D= auto -ffat-lto-objects -Wl,-z -Wl,relro -o conntrack.so conntrack.i libct_proto_udp.s -v -save-temps reproduces it. The ICE is on 4105 /* As an compile time optimization if we make no difference betwe= en 4106 direct and indirect accesses make arg transitively closed. 4107 This avoids the need to build indir arg and do everything twic= e.=20 */ 4108 if (((flags & EAF_NO_INDIRECT_CLOBBER) !=3D 0) 4109 =3D=3D ((flags & EAF_NO_DIRECT_CLOBBER) !=3D 0) 4110 && (((flags & EAF_NO_INDIRECT_READ) !=3D 0) 4111 =3D=3D ((flags & EAF_NO_DIRECT_READ) !=3D 0)) 4112 && (((flags & EAF_NO_INDIRECT_ESCAPE) !=3D 0) 4113 =3D=3D ((flags & EAF_NO_DIRECT_ESCAPE) !=3D 0)) 4114 && (((flags & EAF_NOT_RETURNED_INDIRECTLY) !=3D 0) 4115 =3D=3D ((flags & EAF_NOT_RETURNED_DIRECTLY) !=3D 0))) 4116 { 4117 make_transitive_closure_constraints (tem); 4118 callarg_transitive =3D true; 4119 gcc_checking_assert (!(flags & EAF_NO_DIRECT_READ)); 4120 }=