1 #include "analyzer-decls.h"
2 
3 static void __attribute__((noinline))
__analyzer_callee_1(void)4 __analyzer_callee_1 (void)
5 {
6   /* empty.  */
7 }
8 
9 void
test_1(int flag)10 test_1 (int flag)
11 {
12   if (flag)
13     __analyzer_callee_1 ();
14 
15   /* Verify that we merge state, whether or not the call happens.  */
16   __analyzer_dump_exploded_nodes (0); /* { dg-warning "1 processed enode" } */
17 }
18