gcc/testsuite/c-c++-common/ubsan/overflow-mul-3.c

   1 /* { dg-do run } */
   2 /* { dg-options "-fsanitize=signed-integer-overflow" } */
   3 /* { dg-skip-if "" { *-*-* } { "-flto" } { "" } } */
   4
   5 __attribute__((noinline, noclone)) long long
   6 mul (long long x, long long y)
   7 {
   8   return x * y;
   9 }
  10
  11 long long tab[] = {
  12   0x7fffffffLL, 0x7fffffffLL, 0x3fffffff00000001LL,
  13   -0x80000000LL, -0x80000000LL, 0x4000000000000000LL,
  14   0x7fffffffLL, -0x80000000LL, -0x3fffffff80000000LL,
  15   -0x80000000LL, 0x7fffffffLL, -0x3fffffff80000000LL,
  16   3LL, 5LL, 15LL,
  17   -3LL, -9LL, 27LL,
  18   6LL, -7LL, -42LL,
  19   -12LL, 13LL, -156LL,
  20   0x1555555555555555LL, 6LL, 0x7ffffffffffffffeLL,
  21   -0x1555555555555555LL, -6LL, 0x7ffffffffffffffeLL,
  22   0x1555555555555555LL, -6LL, -0x7ffffffffffffffeLL,
  23   -0x1555555555555555LL, 6LL, -0x7ffffffffffffffeLL,
  24   0x81234567LL, 0xfdbe971fLL, 0x7fffffffbea72879LL,
  25   -0x81234567LL, -0xfdbe971fLL, 0x7fffffffbea72879LL,
  26   0x81234567LL, -0xfdbe971fLL, -0x7fffffffbea72879LL,
  27   -0x81234567LL, 0xfdbe971fLL, -0x7fffffffbea72879LL
  28 };
  29
  30 int
  31 main ()
  32 {
  33   unsigned int i;
  34   for (i = 0; i < sizeof (tab) / sizeof (long long); i += 3)
  35     if (mul (tab[i], tab[i + 1]) != tab[i + 2]
  36         || mul (tab[i + 1], tab[i]) != tab[i + 2])
  37       __builtin_abort ();
  38   return 0;
  39 }