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)10test_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