1 /* { dg-do compile } */
2 /* { dg-options "-O2 -fno-inline" }  */
f(int * a)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 }
16