From 53d28fd4e16f163a9bd0c323f432914804f1348a Mon Sep 17 00:00:00 2001 From: David Malcolm Date: Fri, 18 Sep 2020 17:15:50 -0400 Subject: [PATCH] analyzer: fix sm_state_map::print In 10fc42a8396072912e9d9d940fba25950b3fdfc5 I converted state_t from unsigned to const state *, but missed this comparison against 0. gcc/analyzer/ChangeLog: * program-state.cc (sm_state_map::print): Update check for m_global_state being the start state. --- gcc/analyzer/program-state.cc | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/gcc/analyzer/program-state.cc b/gcc/analyzer/program-state.cc index 78b87d5..5bb8907 100644 --- a/gcc/analyzer/program-state.cc +++ b/gcc/analyzer/program-state.cc @@ -160,7 +160,7 @@ sm_state_map::print (const region_model *model, bool first = true; if (!multiline) pp_string (pp, "{"); - if (m_global_state != 0) + if (m_global_state != m_sm.get_start_state ()) { if (multiline) pp_string (pp, " "); -- 2.7.4