diff options
| author | Will Dietz <wdietz2@illinois.edu> | 2013-01-07 22:25:54 +0000 |
|---|---|---|
| committer | Will Dietz <wdietz2@illinois.edu> | 2013-01-07 22:25:54 +0000 |
| commit | 2b40b7ef8446ba79a2c14e6b8d4d391920870bbc (patch) | |
| tree | 1088f25855a5f198b33f87741cae4a2a742b8dd3 /compiler-rt/lib/ubsan/lit_tests/Integer/no-recover.cpp | |
| parent | cefb44869af6cf398c3c0607848c5498a116e616 (diff) | |
| download | bcm5719-llvm-2b40b7ef8446ba79a2c14e6b8d4d391920870bbc.tar.gz bcm5719-llvm-2b40b7ef8446ba79a2c14e6b8d4d391920870bbc.zip | |
[ubsan] Check for appropriate types on compound assignment overflow diagnostics.
llvm-svn: 171802
Diffstat (limited to 'compiler-rt/lib/ubsan/lit_tests/Integer/no-recover.cpp')
| -rw-r--r-- | compiler-rt/lib/ubsan/lit_tests/Integer/no-recover.cpp | 4 |
1 files changed, 2 insertions, 2 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 b25d440c0fd..e200feaa79a 100644 --- a/compiler-rt/lib/ubsan/lit_tests/Integer/no-recover.cpp +++ b/compiler-rt/lib/ubsan/lit_tests/Integer/no-recover.cpp @@ -13,8 +13,8 @@ int main() { uint32_t k = 0x87654321; k += 0xedcba987; - // 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') + // RECOVER: no-recover.cpp:[[@LINE-1]]:5: runtime error: unsigned integer overflow: 2271560481 + 3989547399 cannot be represented in type 'unsigned int' + // ABORT: no-recover.cpp:[[@LINE-2]]:5: runtime error: unsigned integer overflow: 2271560481 + 3989547399 cannot be represented in type 'unsigned int' (void)(uint64_t(10000000000000000000ull) + uint64_t(9000000000000000000ull)); // RECOVER: 10000000000000000000 + 9000000000000000000 cannot be represented in type 'unsigned long' |

