From 5bcd6df11a7e20a2f755689f5008e98a8776e122 Mon Sep 17 00:00:00 2001 From: David Malcolm Date: Tue, 9 Jun 2020 16:58:14 -0400 Subject: [PATCH 222/315] FIXME: fix exploded_node::get_dot_fillcolor --- gcc/analyzer/engine.cc | 34 ++++++++++++++++++++++++---------- 1 file changed, 24 insertions(+), 10 deletions(-) diff --git a/gcc/analyzer/engine.cc b/gcc/analyzer/engine.cc index 6192d49e57e..377052cc8db 100644 --- a/gcc/analyzer/engine.cc +++ b/gcc/analyzer/engine.cc @@ -1298,16 +1298,30 @@ exploded_node::get_dot_fillcolor () const Sum the sm_states, and use the result to choose from a table, modulo table-size, special-casing the "no sm-state" case. */ int total_sm_state = 0; - int i; - sm_state_map *smap; - FOR_EACH_VEC_ELT (state.m_checker_states, i, smap) - { - for (sm_state_map::iterator_t iter = smap->begin (); - iter != smap->end (); - ++iter) - total_sm_state += (*iter).second.m_state; - total_sm_state += smap->get_global_state (); - } + { + int i; + sm_state_map *smap; + FOR_EACH_VEC_ELT (state.m_checker_states, i, smap) + { + for (sm_state_map::iterator_t iter = smap->begin (); + iter != smap->end (); + ++iter) + total_sm_state += (*iter).second.m_state; + total_sm_state += smap->get_global_state (); + } + } + { + int i; + sm_state_map2 *smap; + FOR_EACH_VEC_ELT (state.m_checker_states2, i, smap) + { + for (sm_state_map2::iterator_t iter = smap->begin (); + iter != smap->end (); + ++iter) + total_sm_state += (*iter).second.m_state; + total_sm_state += smap->get_global_state (); + } + } if (total_sm_state > 0) { -- 2.26.2