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

   1 /* { dg-do run } */
   2 /* { dg-options "-fsanitize=signed-integer-overflow" } */
   3
   4 #include <stdio.h>
   5
   6 __attribute__((noinline, noclone)) long long
   7 mul (long long x, long long y)
   8 {
   9   return x * y;
  10 }
  11
  12 long long tab[] = {
  13   0x7fffffffLL, 0x7fffffffLL, 0x3fffffff00000001LL,
  14   -0x80000000LL, -0x80000000LL, 0x4000000000000000LL,
  15   0x7fffffffLL, -0x80000000LL, -0x3fffffff80000000LL,
  16   -0x80000000LL, 0x7fffffffLL, -0x3fffffff80000000LL,
  17   3LL, 5LL, 15LL,
  18   -3LL, -9LL, 27LL,
  19   6LL, -7LL, -42LL,
  20   -12LL, 13LL, -156LL,
  21   0x1555555555555555LL, 6LL, 0x7ffffffffffffffeLL,
  22   -0x1555555555555555LL, -6LL, 0x7ffffffffffffffeLL,
  23   0x1555555555555555LL, -6LL, -0x7ffffffffffffffeLL,
  24   -0x1555555555555555LL, 6LL, -0x7ffffffffffffffeLL,
  25   0x81234567LL, 0xfdbe971fLL, 0x7fffffffbea72879LL,
  26   -0x81234567LL, -0xfdbe971fLL, 0x7fffffffbea72879LL,
  27   0x81234567LL, -0xfdbe971fLL, -0x7fffffffbea72879LL,
  28   -0x81234567LL, 0xfdbe971fLL, -0x7fffffffbea72879LL
  29 };
  30
  31 int
  32 main ()
  33 {
  34   fputs ("UBSAN TEST START\n", stderr);
  35
  36   unsigned int i;
  37   for (i = 0; i < sizeof (tab) / sizeof (long long); i += 3)
  38     if (mul (tab[i], tab[i + 1]) != tab[i + 2]
  39         || mul (tab[i + 1], tab[i]) != tab[i + 2])
  40       __builtin_abort ();
  41
  42   fputs ("UBSAN TEST END\n", stderr);
  43   return 0;
  44 }
  45
  46 /* { dg-output "UBSAN TEST START(\n|\r\n|\r)UBSAN TEST END" } */