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

   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 }