diff options
Diffstat (limited to 'gcc-4.9/gcc/testsuite/c-c++-common/ubsan/pr59503.c')
-rw-r--r-- | gcc-4.9/gcc/testsuite/c-c++-common/ubsan/pr59503.c | 21 |
1 files changed, 21 insertions, 0 deletions
diff --git a/gcc-4.9/gcc/testsuite/c-c++-common/ubsan/pr59503.c b/gcc-4.9/gcc/testsuite/c-c++-common/ubsan/pr59503.c new file mode 100644 index 000000000..1637f01b5 --- /dev/null +++ b/gcc-4.9/gcc/testsuite/c-c++-common/ubsan/pr59503.c @@ -0,0 +1,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" } */ |