1  /* { dg-do run } */
       2  
       3  int a;
       4  char b, e;
       5  static char *c = &b;
       6  static long d;
       7  void f(void);
       8  void __attribute__((noipa)) h() {
       9    int g = 0;
      10    for (; g < 2; ++g) {
      11      d = *c;
      12      *c = 1;
      13      b = 0;
      14    }
      15    f();
      16  }
      17  void __attribute__((noipa)) f() {
      18    if (d++)
      19      c = &e;
      20    for (; a;)
      21      ;
      22  }
      23  int main() {
      24    h();
      25    if (b != 0)
      26      __builtin_abort ();
      27    return 0;
      28  }