/* { dg-do run }  */
/* { dg-require-effective-target int32plus } */
/* We use -ftrapv so that when SCEV final value replacement introduces
   undefined overflow we trap.  UBSAN inhibits final value replacement.  */
/* { dg-additional-options "-ftrapv" } */

int __attribute__((noclone,noinline))
foo(int a, int b)
{
  int sum = 0;
  for (int i = 0; i < 60000; i++)
    sum += a + i * b;
  return sum;
}

int main(int argc, char **argv)
{
  if (foo (-30000, 2) != 1799940000)
    __builtin_abort ();
  return 0;
}