analyzer: fix sm_state_map::print
authorDavid Malcolm <dmalcolm@redhat.com>
Fri, 18 Sep 2020 21:15:50 +0000 (17:15 -0400)
committerDavid Malcolm <dmalcolm@redhat.com>
Mon, 28 Sep 2020 23:49:45 +0000 (19:49 -0400)
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

index 78b87d509e41e3ab22d8282dd729bc57ec2b7685..5bb8907e340789cd0a1e1ca64fd113fcef9f64ad 100644 (file)
@@ -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, "  ");