diff options
| -rw-r--r-- | compiler-rt/lib/ubsan/lit_tests/Integer/no-recover.cpp | 9 |
1 files changed, 5 insertions, 4 deletions
diff --git a/compiler-rt/lib/ubsan/lit_tests/Integer/no-recover.cpp b/compiler-rt/lib/ubsan/lit_tests/Integer/no-recover.cpp index 08324bd60d2..b25d440c0fd 100644 --- a/compiler-rt/lib/ubsan/lit_tests/Integer/no-recover.cpp +++ b/compiler-rt/lib/ubsan/lit_tests/Integer/no-recover.cpp @@ -1,5 +1,6 @@ -// RUN: %clang -fsanitize=unsigned-integer-overflow -Xclang -fsanitize-recover %s -o %t && %t 2>&1 | FileCheck %s --check-prefix=RECOVER -// RUN: %clang -fsanitize=unsigned-integer-overflow %s -o %t && %t 2>&1 | FileCheck %s --check-prefix=ABORT +// RUN: %clang -fsanitize=unsigned-integer-overflow %s -o %t && %t 2>&1 | FileCheck %s --check-prefix=RECOVER +// RUN: %clang -fsanitize=unsigned-integer-overflow -fsanitize-recover %s -o %t && %t 2>&1 | FileCheck %s --check-prefix=RECOVER +// RUN: %clang -fsanitize=unsigned-integer-overflow -fno-sanitize-recover %s -o %t && %t 2>&1 | FileCheck %s --check-prefix=ABORT #include <stdint.h> @@ -12,8 +13,8 @@ int main() { uint32_t k = 0x87654321; k += 0xedcba987; - // RECOVER: no-recover.cpp:14:5: runtime error: unsigned integer overflow: 2271560481 + 3989547399 cannot be represented in type 'uint32_t' (aka 'unsigned int') - // ABORT: no-recover.cpp:14:5: runtime error: unsigned integer overflow: 2271560481 + 3989547399 cannot be represented in type 'uint32_t' (aka 'unsigned int') + // RECOVER: no-recover.cpp:[[@LINE-1]]:5: runtime error: unsigned integer overflow: 2271560481 + 3989547399 cannot be represented in type 'uint32_t' (aka 'unsigned int') + // ABORT: no-recover.cpp:[[@LINE-2]]:5: runtime error: unsigned integer overflow: 2271560481 + 3989547399 cannot be represented in type 'uint32_t' (aka 'unsigned int') (void)(uint64_t(10000000000000000000ull) + uint64_t(9000000000000000000ull)); // RECOVER: 10000000000000000000 + 9000000000000000000 cannot be represented in type 'unsigned long' |
