https://gcc.gnu.org/bugzilla/show_bug.cgi?id=112734
Bug ID: 112734 Summary: ICE verify_gimple failed since r14-3751-g8c984a1c3693df - BitInt Product: gcc Version: 14.0 Status: UNCONFIRMED Keywords: ice-on-valid-code Severity: normal Priority: P3 Component: tree-optimization Assignee: unassigned at gcc dot gnu.org Reporter: mjires at suse dot cz CC: jakub at redhat dot com Target Milestone: --- Compiling reduced testcase gcc.dg/torture/bitint-3.c results in ICE. $ cat bitint-3.c _BitInt(128) out; void main() { _BitInt(8) q[1]; out -= 1; } $ gcc bitint-3.c -fnon-call-exceptions -ftrapv bitint-3.c: In function ‘main’: bitint-3.c:2:6: error: statement marked for throw in middle of block 2 | void main() { | ^~~~ _7 = _8 + -1; during GIMPLE pass: bitintlower0 bitint-3.c:2:6: internal compiler error: verify_gimple failed 0x105897d verify_gimple_in_cfg(function*, bool, bool) /home/mjires/git/GCC/master/gcc/tree-cfg.cc:5662 0xee8ad4 execute_function_todo /home/mjires/git/GCC/master/gcc/passes.cc:2088 0xee902e execute_todo /home/mjires/git/GCC/master/gcc/passes.cc:2142 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. $ gcc -v Using built-in specs. COLLECT_GCC=gcc COLLECT_LTO_WRAPPER=/home/mjires/built/master/libexec/gcc/x86_64-pc-linux-gnu/14.0.0/lto-wrapper Target: x86_64-pc-linux-gnu Configured with: /home/mjires/git/GCC/master/configure --prefix=/home/mjires/built/master --disable-bootstrap --enable-checking --enable-languages=c,c++,fortran,lto Thread model: posix Supported LTO compression algorithms: zlib zstd gcc version 14.0.0 20231127 (experimental) (GCC)