1 #include "analyzer-decls.h"
2 
test(int a)3 int 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)14 int 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