blob: 1637f01b5a1fa6f500a6efbcd0838cc8fe25f4bd (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
|
/* { dg-do run } */
/* { dg-options "-fsanitize=signed-integer-overflow" } */
#include <stdio.h>
int
main (void)
{
fputs ("UBSAN TEST START\n", stderr);
long long int a = 14;
long int b = 9;
asm volatile ("" : "+r" (a), "+r" (b));
if ((a - b) != 5)
__builtin_abort ();
fputs ("UBSAN TEST END\n", stderr);
return 0;
}
/* { dg-output "UBSAN TEST START(\n|\r\n|\r)UBSAN TEST END" } */
|