| #include <stdlib.h> | |
| #include "analyzer-decls.h" | |
| int test (int flag) | |
| { | |
| int other_flag; | |
| if (flag) | |
| other_flag = 1; | |
| else | |
| other_flag = 0; | |
| /* With state-merging, we lose the relationship between 'flag' and 'other_flag'. */ | |
| __analyzer_dump_exploded_nodes (0); /* { dg-warning "1 processed enode" } */ | |
| if (other_flag) | |
| __analyzer_eval (flag); /* { dg-warning "UNKNOWN" } */ | |
| else | |
| __analyzer_eval (flag); /* { dg-warning "UNKNOWN" } */ | |
| } |