1  /* { dg-do compile } */
       2  /* { dg-options "-O2 -fdump-tree-dom2" } */
       3  
       4  int printf(const char *, ...);
       5  char a = 139, b;
       6  int main() {
       7    char c = 173;
       8    b = a;
       9    while (c <= a || a < -117)
      10      c = printf("0\n");
      11    return 0;
      12  }
      13  
      14  /* { dg-final { scan-tree-dump-times  "if" 2 "dom2" } }  */