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