[gcc r11-3511] analyzer: fix sm_state_map::print

David Malcolm dmalcolm@gcc.gnu.org
Mon Sep 28 23:50:07 GMT 2020


https://gcc.gnu.org/g:53d28fd4e16f163a9bd0c323f432914804f1348a

commit r11-3511-g53d28fd4e16f163a9bd0c323f432914804f1348a
Author: David Malcolm <dmalcolm@redhat.com>
Date:   Fri Sep 18 17:15:50 2020 -0400

    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.

Diff:
---
 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, "  ");


More information about the Gcc-cvs mailing list