1  /* { dg-do run } */
       2  
       3  int __attribute__((returns_twice,noipa)) x() { return 0; }
       4  void __attribute__((noipa)) ar() {}
       5  void __attribute__((noipa)) as() { __builtin_abort (); }
       6  int a1, a2, a3;
       7  void __attribute__((noipa)) v(int init)
       8  {
       9    if (!init) {
      10      as();
      11      if (a1)
      12        goto aq;
      13      x ();
      14    }
      15    ar();
      16  aq:
      17    if (!init)
      18      as();
      19  }
      20  
      21  int main()
      22  {
      23    v(1);
      24    return 0;
      25  }