gcc/testsuite/c-c++-common/analyzer/aliasing-1.c

   1 #include "analyzer-decls.h"
   2
   3 int a;
   4 void test (int *p, int x)
   5 {
   6   int y;
   7
   8   a = 17;
   9   x = 42;
  10   y = 13;
  11
  12   __analyzer_eval (a == 17); /* { dg-warning "TRUE" } */
  13   __analyzer_eval (x == 42); /* { dg-warning "TRUE" } */
  14   __analyzer_eval (y == 13); /* { dg-warning "TRUE" } */
  15
  16   __analyzer_eval (p == &a); /* { dg-warning "UNKNOWN" } */
  17   __analyzer_eval (p == &x); /* { dg-warning "FALSE" } */
  18   __analyzer_eval (p == &y); /* { dg-warning "FALSE" } */
  19
  20   *p = 73;
  21
  22   __analyzer_eval (a == 17); /* { dg-warning "UNKNOWN" } */
  23   __analyzer_eval (x == 42); /* { dg-warning "TRUE" } */
  24   __analyzer_eval (y == 13); /* { dg-warning "TRUE" } */
  25 }