PR tree-optimization/81661

[official-gcc.git] / gcc / testsuite / gcc.dg / pr81661.c

/* PR tree-optimization/81661 */
/* { dg-do compile } */
/* { dg-options "-O3 -ftrapv" } */

int a, b, c;

void
foo (void)
{
  while (a + c > b)
    a--;
}