1  [[gnu::nonnull]]
       2  static
       3  void init_x(int cond, int **x, int *y)
       4  {
       5    if (!cond)
       6      return;
       7    *x = y;
       8  }
       9  
      10  int foo(int cond)
      11  {
      12    int *x;
      13    int y = 7;
      14  
      15    if (cond < 2)
      16      return -1;
      17    init_x(cond, &x, &y);
      18  
      19    return *x;
      20  }