gcc/testsuite/c-c++-common/analyzer/attr-const-2.c

   1 extern int const_p (int) __attribute__((const));
   2 extern void do_stuff (void);
   3
   4 void test (int a)
   5 {
   6   void *p;
   7   if (const_p (a))
   8     {
   9       p = __builtin_malloc (1024);
  10       if (!p)
  11         return;
  12     }
  13   do_stuff ();
  14   if (const_p (a))
  15     __builtin_free (p); /* { dg-bogus "uninit" } */
  16 }