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  }