https://gcc.gnu.org/bugzilla/show_bug.cgi?id=107803
Bug ID: 107803 Summary: [13 Regression] ICE in init_from_control_deps, at gimple-predicate-analysis.cc:1699 since r13-2314-ga8ebd27d0ab69b Product: gcc Version: 13.0 Status: UNCONFIRMED Keywords: ice-on-valid-code Severity: normal Priority: P3 Component: tree-optimization Assignee: unassigned at gcc dot gnu.org Reporter: marxin at gcc dot gnu.org CC: rguenth at gcc dot gnu.org Target Milestone: --- The following crashes: $ cat ~/Programming/testcases/feasible.ii void printf(...); void __sigsetjmp_cancel() __attribute__((__returns_twice__)); int z, main_ret; void func(void *) {} int main() { int x; void (*__cancel_routine)(void *)(func); __sigsetjmp_cancel(); __cancel_routine(0); if (main_ret) x = z; printf(x); } $ ./xgcc -B. ~/Programming/testcases/feasible.ii -fno-tree-dominator-opts -O1 -Wmaybe-uninitialized -fno-tree-fre -c during GIMPLE pass: uninit /home/marxin/Programming/testcases/feasible.ii: In function ‘int main()’: /home/marxin/Programming/testcases/feasible.ii:7:1: internal compiler error: in init_from_control_deps, at gimple-predicate-analysis.cc:1699 7 | main() { | ^~~~ 0x2dd8fb3 predicate::init_from_control_deps(vec<edge_def*, va_heap, vl_ptr> const*, unsigned int, bool) /home/marxin/Programming/gcc2/gcc/gimple-predicate-analysis.cc:1699 0x2dd9aab uninit_analysis::init_use_preds(predicate&, basic_block_def*, basic_block_def*) /home/marxin/Programming/gcc2/gcc/gimple-predicate-analysis.cc:1943 0x2dda1be uninit_analysis::is_use_guarded(gimple*, basic_block_def*, gphi*, unsigned int, hash_set<gphi*, false, default_hash_traits<gphi*> >*) /home/marxin/Programming/gcc2/gcc/gimple-predicate-analysis.cc:2094 0x2dda349 uninit_analysis::is_use_guarded(gimple*, basic_block_def*, gphi*, unsigned int) /home/marxin/Programming/gcc2/gcc/gimple-predicate-analysis.cc:2135 0x1b7ff35 find_uninit_use /home/marxin/Programming/gcc2/gcc/tree-ssa-uninit.cc:1238 0x1b80277 warn_uninitialized_phi /home/marxin/Programming/gcc2/gcc/tree-ssa-uninit.cc:1308 0x1b806f9 execute_late_warn_uninitialized /home/marxin/Programming/gcc2/gcc/tree-ssa-uninit.cc:1426 0x1b807f9 execute /home/marxin/Programming/gcc2/gcc/tree-ssa-uninit.cc:1442 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.