1  /* { dg-do compile } */
       2  /* { dg-options "-O2 -fdump-tree-optimized" } */
       3  
       4  int x = 1;
       5  
       6  int main ()
       7  {
       8    int t = (1/(1>=x))>>1;
       9    if (t != 0) __builtin_abort();
      10    return 0;
      11  }
      12  
      13  /* { dg-final { scan-tree-dump "<bb 2> \\\[local count: \[0-9INV\]*\\\]:\[\n\r \]*return 0;" "optimized" } } */