1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17
#include "analyzer-decls.h" struct foo { int m_flag; }; extern void bar (int); void test (struct foo *pf) { if (pf->m_flag) bar (0); else bar (1); __analyzer_dump_exploded_nodes (0); /* { dg-warning "1 processed enode" } */ }