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