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