analyzer: fix sm_state_map::print

In 10fc42a839 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.
This commit is contained in:
David Malcolm 2020-09-18 17:15:50 -04:00
parent 9042b6605c
commit 53d28fd4e1

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