https://gcc.gnu.org/bugzilla/show_bug.cgi?id=111711
Bug ID: 111711 Summary: [14 Regression] ICE: in maybe_legitimize_operand, at optabs.cc:8046 at -O1 with division by zero Product: gcc Version: 14.0 Status: UNCONFIRMED Keywords: ice-on-valid-code Severity: normal Priority: P3 Component: rtl-optimization Assignee: unassigned at gcc dot gnu.org Reporter: zsojka at seznam dot cz Target Milestone: --- Host: x86_64-pc-linux-gnu Target: aarch64-unknown-linux-gnu Created attachment 56064 --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=56064&action=edit reduced testcase Compiler output: $ aarch64-unknown-linux-gnu-gcc -O testcase.c testcase.c: In function 'bar': testcase.c:4:15: warning: division by zero [-Wdiv-by-zero] 4 | x *= x == 0 / 0; | ^ during RTL pass: expand testcase.c: In function 'foo': testcase.c:11:10: internal compiler error: in maybe_legitimize_operand, at optabs.cc:8046 11 | return bar (822920); | ^~~~~~~~~~~~ 0x7ff794 maybe_legitimize_operand /repo/gcc-trunk/gcc/optabs.cc:8046 0x7ff794 maybe_legitimize_operands(insn_code, unsigned int, unsigned int, expand_operand*) /repo/gcc-trunk/gcc/optabs.cc:8194 0x1104c69 maybe_gen_insn(insn_code, unsigned int, expand_operand*) /repo/gcc-trunk/gcc/optabs.cc:8213 0x1106789 maybe_expand_insn(insn_code, unsigned int, expand_operand*) /repo/gcc-trunk/gcc/optabs.cc:8268 0x1106789 emit_conditional_move_1 /repo/gcc-trunk/gcc/optabs.cc:5242 0x1106b5c emit_conditional_move(rtx_def*, rtx_comparison, rtx_def*, rtx_def*, machine_mode, int) /repo/gcc-trunk/gcc/optabs.cc:5155 0xe646e3 expand_cond_expr_using_cmove /repo/gcc-trunk/gcc/expr.cc:9099 0xe50ebd expand_expr_real_2(separate_ops*, rtx_def*, machine_mode, expand_modifier) /repo/gcc-trunk/gcc/expr.cc:10520 0xe5713f expand_expr_real_1(tree_node*, rtx_def*, machine_mode, expand_modifier, rtx_def**, bool) /repo/gcc-trunk/gcc/expr.cc:10821 0xd190c4 expand_expr(tree_node*, rtx_def*, machine_mode, expand_modifier) /repo/gcc-trunk/gcc/expr.h:310 0xd190c4 expand_return /repo/gcc-trunk/gcc/cfgexpand.cc:3809 0xd190c4 expand_gimple_stmt_1 /repo/gcc-trunk/gcc/cfgexpand.cc:3918 0xd190c4 expand_gimple_stmt /repo/gcc-trunk/gcc/cfgexpand.cc:4044 0xd1f4fe expand_gimple_basic_block /repo/gcc-trunk/gcc/cfgexpand.cc:6100 0xd20fb6 execute /repo/gcc-trunk/gcc/cfgexpand.cc:6835 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. aarch64-unknown-linux-gnu-gcc -v Using built-in specs. COLLECT_GCC=/repo/gcc-trunk/binary-latest-aarch64/bin/aarch64-unknown-linux-gnu-gcc COLLECT_LTO_WRAPPER=/repo/gcc-trunk/binary-trunk-20231006111028-gf05b68b8f00-checking-yes-rtl-df-extra-aarch64/bin/../libexec/gcc/aarch64-unknown-linux-gnu/14.0.0/lto-wrapper Target: aarch64-unknown-linux-gnu Configured with: /repo/gcc-trunk//configure --enable-languages=c,c++ --enable-valgrind-annotations --disable-nls --enable-checking=yes,rtl,df,extra --with-cloog --with-ppl --with-isl --with-sysroot=/usr/aarch64-unknown-linux-gnu --build=x86_64-pc-linux-gnu --host=x86_64-pc-linux-gnu --target=aarch64-unknown-linux-gnu --with-ld=/usr/bin/aarch64-unknown-linux-gnu-ld --with-as=/usr/bin/aarch64-unknown-linux-gnu-as --disable-libstdcxx-pch --prefix=/repo/gcc-trunk//binary-trunk-20231006111028-gf05b68b8f00-checking-yes-rtl-df-extra-aarch64 Thread model: posix Supported LTO compression algorithms: zlib zstd gcc version 14.0.0 20231006 (experimental) (GCC)