diff options
Diffstat (limited to 'gcc-4.9/gcc/testsuite/c-c++-common/ubsan/div-by-zero-4.c')
| -rw-r--r-- | gcc-4.9/gcc/testsuite/c-c++-common/ubsan/div-by-zero-4.c | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/gcc-4.9/gcc/testsuite/c-c++-common/ubsan/div-by-zero-4.c b/gcc-4.9/gcc/testsuite/c-c++-common/ubsan/div-by-zero-4.c new file mode 100644 index 000000000..02162e139 --- /dev/null +++ b/gcc-4.9/gcc/testsuite/c-c++-common/ubsan/div-by-zero-4.c @@ -0,0 +1,11 @@ +/* { dg-do run } */ +/* { dg-options "-fsanitize=integer-divide-by-zero -Wno-overflow" } */ + +#define INT_MIN (-__INT_MAX__ - 1) + +int +main (void) +{ + /* This should not fail. */ + return (unsigned int) INT_MIN / -1; +} |