1 #include "analyzer-decls.h"
2 
test_1(int i)3 void 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)11 void test_2 (char c)
12 {
13   int i = c;
14   __analyzer_eval (i == c); /* { dg-warning "TRUE" } */
15 }
16