| /* { dg-additional-options "-fno-analyzer-state-merge" } */ | |
| #include "analyzer-decls.h" | |
| int test_40 (int flag) | |
| { | |
| int i; | |
| if (flag) | |
| i = 43; | |
| else | |
| i = 17; | |
| /* Without state-merging, we retain the relationship between 'flag' and 'i'. */ | |
| __analyzer_dump_exploded_nodes (0); /* { dg-warning "2 processed enodes" } */ | |
| if (flag) | |
| __analyzer_eval (i == 43); /* { dg-warning "TRUE" } */ | |
| else | |
| __analyzer_eval (i == 17); /* { dg-warning "TRUE" } */ | |
| } |