public inbox for gcc-bugs@sourceware.org help / color / mirror / Atom feed
* [Bug c/113555] New: Yet another failure in verify_ssa @ 2024-01-23 8:36 dcb314 at hotmail dot com 2024-01-23 10:22 ` [Bug c/113555] " dcb314 at hotmail dot com ` (4 more replies) 0 siblings, 5 replies; 6+ messages in thread From: dcb314 at hotmail dot com @ 2024-01-23 8:36 UTC (permalink / raw) To: gcc-bugs https://gcc.gnu.org/bugzilla/show_bug.cgi?id=113555 Bug ID: 113555 Summary: Yet another failure in verify_ssa 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: --- Today's gcc trunk says: $ ~/gcc/results.20240123.asan.ubsan/bin/gcc -c -O3 -w bug1000.c $ ~/gcc/results.20240123.asan.ubsan/bin/gcc -c -O3 -w -march=znver3 bug1000.c bug1000.c: In function ‘net_roa_check_ip4_trie_tab’: bug1000.c:20:6: error: definition in block 4 does not dominate use in block 5 20 | void net_roa_check_ip4_trie_tab() { | ^~~~~~~~~~~~~~~~~~~~~~~~~~ for SSA_NAME: vect__14.32_111 in statement: vect__14.32_112 = PHI <vect__14.32_111(5)> PHI argument vect__14.32_111 for PHI node vect__14.32_112 = PHI <vect__14.32_111(5)> during GIMPLE pass: vect bug1000.c:20:6: internal compiler error: verify_ssa failed Reduced source code is int ip4_getbit_a, ip4_getbit_pos, ip4_clrbit_pos; void ip4_clrbit(int *a) { *a &= 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 = 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 = trie_match_longest_ip4(&px0); _n; _n = trie_match_next_longest_ip4(&px0)) fib_get_chain(); } The bug seems to have existed since at least 20231227. On a side note, 1000 bug reports and enhancement requests in 11 years. ^ permalink raw reply [flat|nested] 6+ messages in thread
* [Bug c/113555] Yet another failure in verify_ssa 2024-01-23 8:36 [Bug c/113555] New: Yet another failure in verify_ssa dcb314 at hotmail dot com @ 2024-01-23 10:22 ` dcb314 at hotmail dot com 2024-01-23 14:42 ` dcb314 at hotmail dot com ` (3 subsequent siblings) 4 siblings, 0 replies; 6+ messages in thread From: dcb314 at hotmail dot com @ 2024-01-23 10:22 UTC (permalink / raw) To: gcc-bugs https://gcc.gnu.org/bugzilla/show_bug.cgi?id=113555 --- Comment #1 from David Binderman <dcb314 at hotmail dot com> --- Second test case: char LZ4_decompress_generic_source; void LZ4_decompress_generic_endOnInput() { char *ip = &LZ4_decompress_generic_source; while (1) { long length; if (length) { unsigned s; do { if (ip > -5) goto _output_error; s = *ip++; length += s; } while (s); } } _output_error: } cvise $ ~/gcc/results/bin/gcc -c -w -O3 bug1000B.c cvise $ ~/gcc/results/bin/gcc -c -w -O3 -march=znver3 bug1000B.c bug1000B.c: In function ‘LZ4_decompress_generic_endOnInput’: bug1000B.c:2:6: error: definition in block 7 does not dominate use in block 5 2 | void LZ4_decompress_generic_endOnInput() { | ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ ^ permalink raw reply [flat|nested] 6+ messages in thread
* [Bug c/113555] Yet another failure in verify_ssa 2024-01-23 8:36 [Bug c/113555] New: Yet another failure in verify_ssa dcb314 at hotmail dot com 2024-01-23 10:22 ` [Bug c/113555] " dcb314 at hotmail dot com @ 2024-01-23 14:42 ` dcb314 at hotmail dot com 2024-01-23 15:00 ` [Bug tree-optimization/113555] " rguenth at gcc dot gnu.org ` (2 subsequent siblings) 4 siblings, 0 replies; 6+ messages in thread From: dcb314 at hotmail dot com @ 2024-01-23 14:42 UTC (permalink / raw) To: gcc-bugs https://gcc.gnu.org/bugzilla/show_bug.cgi?id=113555 --- Comment #2 from David Binderman <dcb314 at hotmail dot com> --- For the first source code, the bug seems to exist sometime between 20231119 and 20231227. Git hashes are g:eaeaad3fcac4d7a3 and g:f19ceb2d49afdfa5 Please ignore the second source code - it is a separate bug. ^ permalink raw reply [flat|nested] 6+ messages in thread
* [Bug tree-optimization/113555] Yet another failure in verify_ssa 2024-01-23 8:36 [Bug c/113555] New: Yet another failure in verify_ssa dcb314 at hotmail dot com 2024-01-23 10:22 ` [Bug c/113555] " dcb314 at hotmail dot com 2024-01-23 14:42 ` dcb314 at hotmail dot com @ 2024-01-23 15:00 ` rguenth at gcc dot gnu.org 2024-01-23 15:10 ` rguenth at gcc dot gnu.org 2024-01-24 7:42 ` tnfchris at gcc dot gnu.org 4 siblings, 0 replies; 6+ messages in thread From: rguenth at gcc dot gnu.org @ 2024-01-23 15:00 UTC (permalink / raw) To: gcc-bugs https://gcc.gnu.org/bugzilla/show_bug.cgi?id=113555 Richard Biener <rguenth at gcc dot gnu.org> changed: What |Removed |Added ---------------------------------------------------------------------------- Keywords| |ice-on-valid-code CC| |rguenth at gcc dot gnu.org, | |tnfchris at gcc dot gnu.org Component|c |tree-optimization --- Comment #3 from Richard Biener <rguenth at gcc dot gnu.org> --- possibly a duplicate ^ permalink raw reply [flat|nested] 6+ messages in thread
* [Bug tree-optimization/113555] Yet another failure in verify_ssa 2024-01-23 8:36 [Bug c/113555] New: Yet another failure in verify_ssa dcb314 at hotmail dot com ` (2 preceding siblings ...) 2024-01-23 15:00 ` [Bug tree-optimization/113555] " rguenth at gcc dot gnu.org @ 2024-01-23 15:10 ` rguenth at gcc dot gnu.org 2024-01-24 7:42 ` tnfchris at gcc dot gnu.org 4 siblings, 0 replies; 6+ messages in thread From: rguenth at gcc dot gnu.org @ 2024-01-23 15:10 UTC (permalink / raw) To: gcc-bugs https://gcc.gnu.org/bugzilla/show_bug.cgi?id=113555 Richard Biener <rguenth at gcc dot gnu.org> changed: What |Removed |Added ---------------------------------------------------------------------------- See Also| |https://gcc.gnu.org/bugzill | |a/show_bug.cgi?id=113364 --- Comment #4 from Richard Biener <rguenth at gcc dot gnu.org> --- The proposed fix for PR113364 resolves the ICE ^ permalink raw reply [flat|nested] 6+ messages in thread
* [Bug tree-optimization/113555] Yet another failure in verify_ssa 2024-01-23 8:36 [Bug c/113555] New: Yet another failure in verify_ssa dcb314 at hotmail dot com ` (3 preceding siblings ...) 2024-01-23 15:10 ` rguenth at gcc dot gnu.org @ 2024-01-24 7:42 ` tnfchris at gcc dot gnu.org 4 siblings, 0 replies; 6+ messages in thread From: tnfchris at gcc dot gnu.org @ 2024-01-24 7:42 UTC (permalink / raw) To: gcc-bugs https://gcc.gnu.org/bugzilla/show_bug.cgi?id=113555 Tamar Christina <tnfchris at gcc dot gnu.org> changed: What |Removed |Added ---------------------------------------------------------------------------- Resolution|--- |DUPLICATE Status|UNCONFIRMED |RESOLVED --- Comment #5 from Tamar Christina <tnfchris at gcc dot gnu.org> --- Both cases fixed by fix for PR113364 *** This bug has been marked as a duplicate of bug 113364 *** ^ permalink raw reply [flat|nested] 6+ messages in thread
end of thread, other threads:[~2024-01-24 7:42 UTC | newest] Thread overview: 6+ messages (download: mbox.gz / follow: Atom feed) -- links below jump to the message on this page -- 2024-01-23 8:36 [Bug c/113555] New: Yet another failure in verify_ssa dcb314 at hotmail dot com 2024-01-23 10:22 ` [Bug c/113555] " dcb314 at hotmail dot com 2024-01-23 14:42 ` dcb314 at hotmail dot com 2024-01-23 15:00 ` [Bug tree-optimization/113555] " rguenth at gcc dot gnu.org 2024-01-23 15:10 ` rguenth at gcc dot gnu.org 2024-01-24 7:42 ` tnfchris at gcc dot gnu.org
This is a public inbox, see mirroring instructions for how to clone and mirror all data and code used for this inbox; as well as URLs for read-only IMAP folder(s) and NNTP newsgroup(s).