#include "analyzer-decls.h" | |
void test_1 (int i) | |
{ | |
char c1 = i; | |
char c2 = i; | |
__analyzer_eval (c1 == i); /* { dg-warning "UNKNOWN" } */ | |
__analyzer_eval (c1 == c2); /* { dg-warning "TRUE" } */ | |
} | |
void test_2 (char c) | |
{ | |
int i = c; | |
__analyzer_eval (i == c); /* { dg-warning "TRUE" } */ | |
} |