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