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