gcc/testsuite/gcc.dg/torture/pr79721.c

   1 /* { dg-do run }  */
   2 /* { dg-require-effective-target int32plus } */
   3 /* We use -ftrapv so that when SCEV final value replacement introduces
   4    undefined overflow we trap.  UBSAN inhibits final value replacement.  */
   5 /* { dg-additional-options "-ftrapv" } */
   6
   7 int __attribute__((noclone,noinline))
   8 foo(int a, int b)
   9 {
  10   int sum = 0;
  11   for (int i = 0; i < 60000; i++)
  12     sum += a + i * b;
  13   return sum;
  14 }
  15
  16 int main(int argc, char **argv)
  17 {
  18   if (foo (-30000, 2) != 1799940000)
  19     __builtin_abort ();
  20   return 0;
  21 }