https://gcc.gnu.org/bugzilla/show_bug.cgi?id=100284
Alex Coplan <acoplan at gcc dot gnu.org> changed: What |Removed |Added ---------------------------------------------------------------------------- Status|WAITING |NEW --- Comment #2 from Alex Coplan <acoplan at gcc dot gnu.org> --- Nevermind, confirmed on latest trunk with a native aarch64 build. Here's a reduced testcase: $ cat test.c int *a; int b; void c() { int e; for (int d; d; d++) if (a[d]) e++; if (e) b = 0; } $ gcc/xgcc -B gcc test.c -c -O3 -march=armv8.2-a+sve during GIMPLE pass: vrp test.c: In function ācā: test.c:3:6: internal compiler error: in operation_could_trap_p, at tree-eh.c:2546 3 | void c() { | ^ 0xe725cb operation_could_trap_p(tree_code, bool, bool, tree_node*) /home/alecop01/toolchain/src/gcc/gcc/tree-eh.c:2546 0x12df947 maybe_resimplify_conditional_op /home/alecop01/toolchain/src/gcc/gcc/gimple-match-head.c:156 0x12df49b gimple_resimplify3 /home/alecop01/toolchain/src/gcc/gcc/gimple-match-head.c:404 0x13383a3 gimple_simplify_381 /home/alecop01/toolchain/builds/rel/gcc/gimple-match.c:20829 0x1339bab gimple_simplify_PLUS_EXPR /home/alecop01/toolchain/builds/rel/gcc/gimple-match.c:58341 0x14586db gimple_simplify /home/alecop01/toolchain/builds/rel/gcc/gimple-match.c:135430 0x1459cfb gimple_resimplify2 /home/alecop01/toolchain/src/gcc/gcc/gimple-match-head.c:318 0x147f50b try_conditional_simplification /home/alecop01/toolchain/src/gcc/gcc/gimple-match-head.c:872 0x147f50b gimple_simplify(gimple*, gimple_match_op*, gimple**, tree_node* (*)(tree_node*), tree_node* (*)(tree_node*)) /home/alecop01/toolchain/src/gcc/gcc/gimple-match-head.c:1046 0xaaf51f fold_stmt_1 /home/alecop01/toolchain/src/gcc/gcc/gimple-fold.c:6204 0xff5f8b substitute_and_fold_dom_walker::before_dom_children(basic_block_def*) /home/alecop01/toolchain/src/gcc/gcc/tree-ssa-propagate.c:859 0x195b313 dom_walker::walk(basic_block_def*) /home/alecop01/toolchain/src/gcc/gcc/domwalk.c:309 0xff4dbb substitute_and_fold_engine::substitute_and_fold(basic_block_def*) /home/alecop01/toolchain/src/gcc/gcc/tree-ssa-propagate.c:987 0x11408fb execute_vrp /home/alecop01/toolchain/src/gcc/gcc/tree-vrp.c:4531 Please submit a full bug report, with preprocessed source if appropriate. Please include the complete backtrace with any bug report. See <https://gcc.gnu.org/bugs/> for instructions.