From bd28404a3d5ad258e861f40bec29dc11133681f8 Mon Sep 17 00:00:00 2001 From: David Malcolm Date: Thu, 28 May 2020 13:14:56 -0400 Subject: [PATCH 192/293] FIXME: fix ICE on global state changes (sm-signal-*.c) --- gcc/analyzer/diagnostic-manager.cc | 10 ++++++---- 1 file changed, 6 insertions(+), 4 deletions(-) diff --git a/gcc/analyzer/diagnostic-manager.cc b/gcc/analyzer/diagnostic-manager.cc index 240b2e96b0a..0f6c2307915 100644 --- a/gcc/analyzer/diagnostic-manager.cc +++ b/gcc/analyzer/diagnostic-manager.cc @@ -1068,10 +1068,12 @@ diagnostic_manager::add_events_for_eedge (const path_builder &pb, | ~~~~~~~~~~~~~^~~~~ | | | (3) ...to here (end_cfg_edge_event). */ - state_change_event_creator visitor (eedge, emission_path); - for_each_state_change (src_state, dst_state, pb.get_ext_state (), - &visitor); - + if (src_state.m_region_model) + { + state_change_event_creator visitor (eedge, emission_path); + for_each_state_change (src_state, dst_state, pb.get_ext_state (), + &visitor); + } if (src_state.m_region_model2) { state_change_event_creator2 visitor2 (eedge, emission_path); -- 2.26.2