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

   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 }