gcc/testsuite/gcc.dg/pr30045.c

   1 /* { dg-do compile } */
   2 /* { dg-options "-O2 -fno-inline" }  */
   3 int f(int *a)
   4 {
   5   int  __attribute__((nonnull(1))) g(int *b)
   6   {
   7     int **c = &a;
   8     if (b)
   9       return *a + **c;
  10     return *b;
  11   }
  12   if (a)
  13     return g(a);
  14   return 1;
  15 }