1 #include "analyzer-decls.h" 2 test_1(int i)3void test_1 (int i) 4 { 5 char c1 = i; 6 char c2 = i; 7 __analyzer_eval (c1 == i); /* { dg-warning "UNKNOWN" } */ 8 __analyzer_eval (c1 == c2); /* { dg-warning "TRUE" } */ 9 } 10 test_2(char c)11void test_2 (char c) 12 { 13 int i = c; 14 __analyzer_eval (i == c); /* { dg-warning "TRUE" } */ 15 } 16