1  int a;
       2  
       3  int b(int c) { return 0; }
       4  
       5  static int *d(int *e) {
       6    if (a) {
       7      a = a && b(*e);
       8    }
       9    return e;
      10  }
      11  
      12  int main() {
      13    int f;
      14    if (d(&f) != &f)
      15      __builtin_abort();
      16    return 0;
      17  }