1/* { dg-do run } */
2/* { dg-options "-fsanitize=signed-integer-overflow -fno-sanitize-recover=signed-integer-overflow" } */
3
4__attribute__((noinline, noclone)) long long
5mul (long long x, long long y)
6{
7  return x * y;
8}
9
10long 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
29int
30main ()
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