1  #include "analyzer-decls.h"
       2  
       3  extern void *inner_alloc (void);
       4  
       5  void * __attribute__((noinline))
       6  outer_alloc (void)
       7  {
       8    return inner_alloc ();
       9  }
      10  
      11  void test_1 (void)
      12  {
      13    void *p, *q;
      14  
      15    p = outer_alloc ();
      16    q = outer_alloc ();
      17    __analyzer_eval (p == q); /* { dg-warning "UNKNOWN" } */
      18  }