#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" } */ | |
} |