1  /* { dg-do compile } */
       2  /* { dg-options "-O2 -fdump-tree-optimized" } */
       3  
       4  unsigned foo(unsigned val, unsigned start)
       5  {
       6    unsigned cnt = 0;
       7    unsigned i = start;
       8    do {
       9      cnt++;
      10      i++;
      11    } while (i > val);
      12    return cnt;
      13  }
      14  
      15  /* Look for start >= val ? -start : 1  */
      16  /* { dg-final { scan-tree-dump " = start_\[0-9\]\\(D\\) >= val_\[0-9\]\\(D\\);" "optimized" } } */
      17  /* { dg-final { scan-tree-dump "cnt_\[0-9\] = _\[0-9\]+ \\? _\[0-9\]+ : 1;" "optimized" } } */