1 #include "analyzer-decls.h" 2 test(int a)3int test (int a) 4 { 5 if (a != 42 && a != 113) { 6 return (-2); 7 } 8 9 __analyzer_dump_exploded_nodes (0); /* { dg-warning "1 processed enode" } */ 10 11 return 0; 12 } 13 test_2(int a)14int test_2 (int a) 15 { 16 if (a != 42 && a != 113 && a != 666) { 17 return (-2); 18 } 19 20 __analyzer_dump_exploded_nodes (0); /* { dg-warning "1 processed enode" } */ 21 22 return 0; 23 } 24