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  }