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  }