1  /* { dg-do compile } */
       2  /* { dg-options "-O1" } */
       3  
       4  int printf(const char *, ...);
       5  int a, b;
       6  void c() {
       7    int d, e;
       8   L:
       9    a = (b && a) ^ 2756578370;
      10    d = ~a + (e ^ d) ^ 2756578370;
      11    if (!d)
      12      printf("%d", a);
      13    d = a / e;
      14    goto L;
      15  }
      16  int main() {
      17    if (a)
      18      c();
      19    return 0;
      20  }
      21