blob: 92c2de81eb8b106d4c4ff8297cf9674a533d642e (
plain)
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
|
/* PR sanitizer/60613 */
/* { dg-do run } */
/* { dg-options "-fsanitize=undefined" } */
long long y;
__attribute__((noinline, noclone)) long long
foo (long long x)
{
asm ("");
if (x >= 0 || x < -2040)
return 23;
x += 2040;
return x - y;
}
__attribute__((noinline, noclone)) long long
bar (long long x)
{
asm ("");
return 8LL - x;
}
int
main ()
{
y = -__LONG_LONG_MAX__ + 6;
if (foo (8 - 2040) != -__LONG_LONG_MAX__)
__builtin_abort ();
if (bar (-__LONG_LONG_MAX__ + 5) != -__LONG_LONG_MAX__ + 1)
__builtin_abort ();
return 0;
}
/* { dg-output "signed integer overflow: 8 \\- -9223372036854775801 cannot be represented in type 'long long int'(\n|\r\n|\r)" } */
/* { dg-output "\[^\n\r]*signed integer overflow: 8 \\- -9223372036854775802 cannot be represented in type 'long long int'" } */
|
