https://gcc.gnu.org/bugzilla/show_bug.cgi?id=114897
--- Comment #1 from Anonymous <iamanonymous.cs at gmail dot com> --- There is another case that triggers the ICE in replay_call_summary_cluster, at analyzer/store.cc:3374 Also bisected to r13-3077-gbfca9505f6f Compiler Explorer: https://godbolt.org/z/Wh5MGf739 Program: $ cat mutant.c __attribute__((__vector_size__(sizeof(float)))) float a; int b; void c(); void d() { for (; b;) if (a[b]) c(); } void e() { d(); d(); } ******************************************************************************* Command Lines: $ gcc -fsanitize=undefined -fanalyzer -fanalyzer-call-summaries -c mutant.c during IPA pass: analyzer mutant.c: In function āeā: mutant.c:10:3: internal compiler error: in replay_call_summary_cluster, at analyzer/store.cc:3374 10 | d(); | ^~~ 0x8921e5 ana::store::replay_call_summary_cluster(ana::call_summary_replay&, ana::store const&, ana::region const*) ../../gcc/gcc/analyzer/store.cc:3374 0x14e1864 ana::store::replay_call_summary(ana::call_summary_replay&, ana::store const&) ../../gcc/gcc/analyzer/store.cc:3318 0x149174b ana::region_model::replay_call_summary(ana::call_summary_replay&, ana::region_model const&) ../../gcc/gcc/analyzer/region-model.cc:5635 0x14723eb ana::program_state::replay_call_summary(ana::call_summary_replay&, ana::program_state const&) ../../gcc/gcc/analyzer/program-state.cc:1635 0x1458743 ana::call_summary_edge_info::update_state(ana::program_state*, ana::exploded_edge const*, ana::region_model_context*) const ../../gcc/gcc/analyzer/engine.cc:1633 0x1450d9a ana::exploded_graph::process_node(ana::exploded_node*) ../../gcc/gcc/analyzer/engine.cc:4241 0x145166a ana::exploded_graph::process_worklist() ../../gcc/gcc/analyzer/engine.cc:3516 0x1453c4b ana::impl_run_checkers(ana::logger*) ../../gcc/gcc/analyzer/engine.cc:6210 0x1454bb6 ana::run_checkers() ../../gcc/gcc/analyzer/engine.cc:6308 0x1443a98 execute ../../gcc/gcc/analyzer/analyzer-pass.cc:87 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.