UNKNOWN
16 __analyzer_eval (i == 43); /* { dg-warning "TRUE" } */
^~~~~~~~~~~~~~~~~~~~~~~~~
UNKNOWN
18 __analyzer_eval (i == 17); /* { dg-warning "TRUE" } */
^~~~~~~~~~~~~~~~~~~~~~~~~
1 processed enode: [EN: 14]
13 __analyzer_dump_exploded_nodes (0); /* { dg-warning "2 processed enodes" } */
^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~