https://gcc.gnu.org/bugzilla/show_bug.cgi?id=110117
Bug ID: 110117 Summary: ICE on valid code at -O1 with "": verify_ssa failed Product: gcc Version: unknown Status: UNCONFIRMED Severity: normal Priority: P3 Component: tree-optimization Assignee: unassigned at gcc dot gnu.org Reporter: zhendong.su at inf dot ethz.ch Target Milestone: --- It appears to be a recent regression. Compiler Explorer: https://godbolt.org/z/fsxExbW9P [584] % gcctk -v Using built-in specs. COLLECT_GCC=gcctk COLLECT_LTO_WRAPPER=/local/home/suz/suz-local/software/local/gcc-trunk/bin/../libexec/gcc/x86_64-pc-linux-gnu/14.0.0/lto-wrapper Target: x86_64-pc-linux-gnu Configured with: ../gcc-trunk/configure --disable-bootstrap --enable-checking=yes --prefix=/local/suz-local/software/local/gcc-trunk --enable-sanitizers --enable-languages=c,c++ --disable-werror --disable-multilib Thread model: posix Supported LTO compression algorithms: zlib gcc version 14.0.0 20230604 (experimental) [master r14-924-gd709841ae0f] (GCC) [585] % [585] % gcctk -O1 -ftree-vrp -fno-tree-ccp -fno-tree-forwprop small.c during RTL pass: expand small.c: In function ‘main’: small.c:9:12: internal compiler error: in as_a, at machmode.h:381 9 | c = ~h - (-g & f || e); | ~~~^~~~~~~~~~~~~~~ 0x7564c4 scalar_int_mode as_a<scalar_int_mode>(machine_mode) ../../gcc-trunk/gcc/machmode.h:381 0x758382 scalar_int_mode as_a<scalar_int_mode>(machine_mode) ../../gcc-trunk/gcc/tree.h:3669 0x758382 expand_single_bit_test ../../gcc-trunk/gcc/expr.cc:12914 0x758382 do_store_flag ../../gcc-trunk/gcc/expr.cc:13173 0xbbd259 expand_expr_real_2(separate_ops*, rtx_def*, machine_mode, expand_modifier) ../../gcc-trunk/gcc/expr.cc:10251 0xbc4ccd expand_expr_real_1(tree_node*, rtx_def*, machine_mode, expand_modifier, rtx_def**, bool) ../../gcc-trunk/gcc/expr.cc:10800 0xbc7324 expand_expr(tree_node*, rtx_def*, machine_mode, expand_modifier) ../../gcc-trunk/gcc/expr.h:310 0xbc7324 expand_operands(tree_node*, tree_node*, rtx_def*, rtx_def**, rtx_def**, expand_modifier) ../../gcc-trunk/gcc/expr.cc:8577 0xbbcd0a expand_expr_real_2(separate_ops*, rtx_def*, machine_mode, expand_modifier) ../../gcc-trunk/gcc/expr.cc:10591 0xbc4ccd expand_expr_real_1(tree_node*, rtx_def*, machine_mode, expand_modifier, rtx_def**, bool) ../../gcc-trunk/gcc/expr.cc:10800 0xbbd57a expand_expr_real(tree_node*, rtx_def*, machine_mode, expand_modifier, rtx_def**, bool) ../../gcc-trunk/gcc/expr.cc:8999 0xbbd57a expand_expr(tree_node*, rtx_def*, machine_mode, expand_modifier) ../../gcc-trunk/gcc/expr.h:310 0xbbd57a expand_expr_real_2(separate_ops*, rtx_def*, machine_mode, expand_modifier) ../../gcc-trunk/gcc/expr.cc:9334 0xbc4ccd expand_expr_real_1(tree_node*, rtx_def*, machine_mode, expand_modifier, rtx_def**, bool) ../../gcc-trunk/gcc/expr.cc:10800 0xbc733c expand_expr(tree_node*, rtx_def*, machine_mode, expand_modifier) ../../gcc-trunk/gcc/expr.h:310 0xbc733c expand_operands(tree_node*, tree_node*, rtx_def*, rtx_def**, rtx_def**, expand_modifier) ../../gcc-trunk/gcc/expr.cc:8578 0xbbcd0a expand_expr_real_2(separate_ops*, rtx_def*, machine_mode, expand_modifier) ../../gcc-trunk/gcc/expr.cc:10591 0xbc4ccd expand_expr_real_1(tree_node*, rtx_def*, machine_mode, expand_modifier, rtx_def**, bool) ../../gcc-trunk/gcc/expr.cc:10800 0xbc185e expand_expr_real(tree_node*, rtx_def*, machine_mode, expand_modifier, rtx_def**, bool) ../../gcc-trunk/gcc/expr.cc:8999 0xbc185e expand_expr(tree_node*, rtx_def*, machine_mode, expand_modifier) ../../gcc-trunk/gcc/expr.h:310 Please submit a full bug report, with preprocessed source (by using -freport-bug). Please include the complete backtrace with any bug report. See <https://gcc.gnu.org/bugs/> for instructions. [586] % [586] % cat small.c int a, b, d; unsigned c; int main() { char e = -10; int f = 1, g = 0; if (a) { char h = e; i: c = ~h - (-g & f || e); int j = b % c; g = j % 9; if (c) { if (d) e = 0; while (!g) ; int k = 0; l: if (k) goto i; } } if (e > -10) { if (g) f = 0; goto l; } return 0; }