From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: by sourceware.org (Postfix, from userid 48) id 555CE385841C; Thu, 23 Dec 2021 16:10:59 +0000 (GMT) DKIM-Filter: OpenDKIM Filter v2.11.0 sourceware.org 555CE385841C From: "k.even-mendoza at imperial dot ac.uk" To: gcc-bugs@gcc.gnu.org Subject: [Bug c/103818] New: ICE: in insert, at ipa-modref-tree.c:591 Date: Thu, 23 Dec 2021 16:10:59 +0000 X-Bugzilla-Reason: CC X-Bugzilla-Type: new X-Bugzilla-Watch-Reason: None X-Bugzilla-Product: gcc X-Bugzilla-Component: c X-Bugzilla-Version: 12.0 X-Bugzilla-Keywords: X-Bugzilla-Severity: normal X-Bugzilla-Who: k.even-mendoza at imperial dot ac.uk 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: --- X-Bugzilla-Flags: X-Bugzilla-Changed-Fields: bug_id short_desc product version bug_status bug_severity priority component assigned_to reporter target_milestone Message-ID: 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 List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , X-List-Received-Date: Thu, 23 Dec 2021 16:10:59 -0000 https://gcc.gnu.org/bugzilla/show_bug.cgi?id=3D103818 Bug ID: 103818 Summary: ICE: in insert, at ipa-modref-tree.c:591 Product: gcc Version: 12.0 Status: UNCONFIRMED Severity: normal Priority: P3 Component: c Assignee: unassigned at gcc dot gnu.org Reporter: k.even-mendoza at imperial dot ac.uk Target Milestone: --- The following code fails with -O1, -O2, -O3, and -Os in GCC-12, but works f= ine with -O0:=20 struct a { int b[0] } c(struct a *d) { d->b[0] =3D d->b[-144115188075855873] + d->b[11] * d->b[2] + d->b[0] % d->b[1025] + d->b[5]; d->b[0] =3D d->b[144678138029277184] + d->b[0] & d->b[-3] * d->b[053] + d->b[7] ^ d->b[-9] + d->b[14] + d->b[9] % d->b[49] + d->b[024] + d->b[82] & d->b[4096]; } void main() {} It works fine with GCC-11.=20 =3D=3D=3D The trace in GCC-12 Version is: /home/user42/data/gcc-csmith-1223/gcc-install/bin/gcc -O2 fuzzer-file-14593= .c fuzzer-file-14593.c:3:1: warning: no semicolon at end of struct or union 3 | } c(struct a *d) { | ^ during GIMPLE pass: modref fuzzer-file-14593.c: In function =E2=80=98c=E2=80=99: fuzzer-file-14593.c:11:1: internal compiler error: in insert, at ipa-modref-tree.c:591 11 | void main() {} | ^~~~ 0x73439f modref_access_node::insert(vec*&, modref_access_node, unsigned long, bool) .././../gcc-source/gcc/ipa-modref-tree.c:591 0xcc201a modref_ref_node::insert_access(modref_access_node, unsigned l= ong, bool) .././../gcc-source/gcc/ipa-modref-tree.h:194 0xcc201a modref_tree::insert(unsigned int, unsigned int, unsigned int, int, int, modref_access_node, bool) .././../gcc-source/gcc/ipa-modref-tree.h:445 0xcb303c modref_tree::insert(tree_node*, int, int, modref_access_node const&, bool) .././../gcc-source/gcc/ipa-modref-tree.h:472 0xcb303c record_access .././../gcc-source/gcc/ipa-modref.c:1076 0xcb3968 analyze_load .././../gcc-source/gcc/ipa-modref.c:1707 0xc09dd1 walk_stmt_load_store_addr_ops(gimple*, void*, bool (*)(gimple*, tree_node*, tree_node*, void*), bool (*)(gimple*, tree_node*, tree_node*, void*), bool (*)(gimple*, tree_node*, tree_node*, void*)) .././../gcc-source/gcc/gimple-walk.c:800 0xcbc7a1 analyze_stmt .././../gcc-source/gcc/ipa-modref.c:1788 0xcbc7a1 analyze .././../gcc-source/gcc/ipa-modref.c:1900 0xcbc7a1 analyze_function .././../gcc-source/gcc/ipa-modref.c:3219 0xcbec2a execute .././../gcc-source/gcc/ipa-modref.c:4186 Please submit a full bug report, =3D=3D=3D I tested it with gcc (GCC) 12.0.0 20211023 (experimental), gcc (GCC) 12.0.0 20211216 (experimental), and gcc (GCC) 12.0.0 20211223 (experimental) (curr= ent version: commit ef26c151c14a87177d46fd3d725e7f82e040e89f) checking the fix = of bugs 102687 and 103073 there.=