https://gcc.gnu.org/bugzilla/show_bug.cgi?id=98256
Bug ID: 98256 Summary: ICE at -Os and above: verify_ssa failed Product: gcc Version: 11.0 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: --- [547] % gcctk -v Using built-in specs. COLLECT_GCC=gcctk COLLECT_LTO_WRAPPER=/local/suz-local/software/local/gcc-trunk/libexec/gcc/x86_64-pc-linux-gnu/11.0.0/lto-wrapper Target: x86_64-pc-linux-gnu Configured with: ../gcc-trunk/configure --disable-bootstrap --prefix=/local/suz-local/software/local/gcc-trunk --enable-languages=c,c++ --disable-werror --enable-multilib --with-system-zlib Thread model: posix Supported LTO compression algorithms: zlib gcc version 11.0.0 20201212 (experimental) [master revision ff2dfdef2f2:87144b47033:815eb852a2d293331eba2e241a986b8641d4da1f] (GCC) [548] % [548] % gcctk -O1 -c small.c [549] % [549] % gcctk -Os -c small.c small.c: In function āgā: small.c:3:6: error: definition in block 2 follows the use 3 | void g() { f(1 && ~a / b); } | ^ for SSA_NAME: b.1_3 in statement: _8 = .ADD_OVERFLOW (a.0_1, b.1_3); during GIMPLE pass: widening_mul small.c:3:6: internal compiler error: verify_ssa failed 0xfa18ab verify_ssa(bool, bool) ../../gcc-trunk/gcc/tree-ssa.c:1214 0xc26fe7 execute_function_todo ../../gcc-trunk/gcc/passes.c:2049 0xc27d92 execute_todo ../../gcc-trunk/gcc/passes.c:2096 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. [550] % [550] % cat small.c extern void f (int); unsigned a, b; void g() { f(1 && ~a / b); }