From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: by sourceware.org (Postfix, from userid 48) id ACFD63858CDA; Tue, 5 Mar 2024 13:24:00 +0000 (GMT) DKIM-Filter: OpenDKIM Filter v2.11.0 sourceware.org ACFD63858CDA DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gcc.gnu.org; s=default; t=1709645040; bh=1XX3+464jHnWXXNRB1WqyrMqMT5b3LXlUmfMWfMBRO0=; h=From:To:Subject:Date:From; b=pRGJHGt8uEchdvryrOvn/cjOapkOESKVSgMjd7QNTtd7B3H0EgESAjO6EMYHN1C// l7Uppx7u8jBo1dscB6LdbWIva57q/3ddXLBcXOfelhlTAjk6aAlJhWSxEXp5Gmrdvm 6mgKH9gGdud1gUQxmAqnBYoOAtRubohVc/3hSlwQ= From: "dcb314 at hotmail dot com" To: gcc-bugs@gcc.gnu.org Subject: [Bug c/114239] New: ice: error: definition in block does not dominate use in block Date: Tue, 05 Mar 2024 13:24:00 +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: 14.0 X-Bugzilla-Keywords: X-Bugzilla-Severity: normal X-Bugzilla-Who: dcb314 at hotmail dot com 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 List-Id: https://gcc.gnu.org/bugzilla/show_bug.cgi?id=3D114239 Bug ID: 114239 Summary: ice: error: definition in block does not dominate use in block Product: gcc Version: 14.0 Status: UNCONFIRMED Severity: normal Priority: P3 Component: c Assignee: unassigned at gcc dot gnu.org Reporter: dcb314 at hotmail dot com Target Milestone: --- For this C code: int ip4_getbit_a, ip4_getbit_pos, ip4_clrbit_pos; void ip4_clrbit(int *a) { *a &=3D ip4_clrbit_pos; } typedef struct { char pxlen; int prefix } net_addr_ip4; void fib_get_chain(); int trie_match_longest_ip4(); int trie_match_next_longest_ip4(net_addr_ip4 *n) { int __trans_tmp_1; while (n->pxlen) { n->pxlen--; ip4_clrbit(&n->prefix); __trans_tmp_1 =3D ip4_getbit_a >> ip4_getbit_pos; if (__trans_tmp_1) return 1; } return 0; } void net_roa_check_ip4_trie_tab() { net_addr_ip4 px0; for (int _n =3D trie_match_longest_ip4(&px0); _n; _n =3D trie_match_next_longest_ip4(&px0)) fib_get_chain(); } on x86_64, does this: $ ../results/bin/gcc -c -O3 -march=3Dznver3 -w ~/cvise/bug1021.c /home/dcb38/cvise/bug1021.c: In function =E2=80=98net_roa_check_ip4_trie_ta= b=E2=80=99: /home/dcb38/cvise/bug1021.c:20:6: error: definition in block 19 does not dominate use in block 14 20 | void net_roa_check_ip4_trie_tab() { | ^~~~~~~~~~~~~~~~~~~~~~~~~~ for SSA_NAME: _117 in statement: px0__lsm.22_47 =3D PHI <_117(14), _117(19)> PHI argument _117 for PHI node px0__lsm.22_47 =3D PHI <_117(14), _117(19)> during GIMPLE pass: vect /home/dcb38/cvise/bug1021.c:20:6: internal compiler error: verify_ssa failed The bug first seems to occur sometime between g:1e74ce8983fd4926 and g:71244316cf714725, which is 42 commits.=