gcc/testsuite/c-c++-common/analyzer/casts-2.c

   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 }