/* PR rtl-optimization/28634. On targets with delayed branches,
dbr_schedule could do the next iteration's addition in the
branch delay slot, then subtract the value again if the branch
wasn't taken. This can lead to rounding errors. */
int x = -1;
int y = 1;
int
main (void)
{
while (y > 0)
y += x;
if (y != x + 1)
abort ();
exit (0);
}