[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