In 10fc42a8396072912e9d9d940fba25950b3fdfc5 I converted state_t from
unsigned to const state *, but missed this comparison against 0.

Successfully bootstrapped & regrtested on x86_64-pc-linux-gnu.
Pushed to master as 53d28fd4e16f163a9bd0c323f432914804f1348a.

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 78b87d509e4..5bb8907e340 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.26.2

Reply via email to