diff options
| author | Will Dietz <wdietz2@illinois.edu> | 2012-12-31 02:20:55 +0000 |
|---|---|---|
| committer | Will Dietz <wdietz2@illinois.edu> | 2012-12-31 02:20:55 +0000 |
| commit | d6cd3203f616f5d86993dda3e9af29b03e7cb00a (patch) | |
| tree | 8d064f97316991590d9c292d740e7cad1de23c67 /compiler-rt/lib/ubsan/lit_tests/Integer | |
| parent | f584977df2352d277555c6986055173282ed5561 (diff) | |
| download | bcm5719-llvm-d6cd3203f616f5d86993dda3e9af29b03e7cb00a.tar.gz bcm5719-llvm-d6cd3203f616f5d86993dda3e9af29b03e7cb00a.zip | |
[ubsan] Don't suggest casting to unsigned for unsigned unary minus overflow.
llvm-svn: 171273
Diffstat (limited to 'compiler-rt/lib/ubsan/lit_tests/Integer')
| -rw-r--r-- | compiler-rt/lib/ubsan/lit_tests/Integer/negate-overflow.cpp | 9 |
1 files changed, 7 insertions, 2 deletions
diff --git a/compiler-rt/lib/ubsan/lit_tests/Integer/negate-overflow.cpp b/compiler-rt/lib/ubsan/lit_tests/Integer/negate-overflow.cpp index e3beb6b57a4..2ee4f10115e 100644 --- a/compiler-rt/lib/ubsan/lit_tests/Integer/negate-overflow.cpp +++ b/compiler-rt/lib/ubsan/lit_tests/Integer/negate-overflow.cpp @@ -1,7 +1,12 @@ -// RUN: %clang -fsanitize=signed-integer-overflow %s -o %t && %t 2>&1 | FileCheck %s +// RUN: %clang -fsanitize=signed-integer-overflow %s -o %t && %t 2>&1 | FileCheck %s --check-prefix=CHECKS +// RUN: %clang -fsanitize=unsigned-integer-overflow %s -o %t && %t 2>&1 | FileCheck %s --check-prefix=CHECKU int main() { + // CHECKS-NOT: runtime error + // CHECKU: negate-overflow.cpp:[[@LINE+2]]:3: runtime error: negation of 2147483648 cannot be represented in type 'unsigned int' + // CHECKU-NOT: cast to an unsigned -unsigned(-0x7fffffff - 1); // ok - // CHECK: negate-overflow.cpp:6:10: runtime error: negation of -2147483648 cannot be represented in type 'int'; cast to an unsigned type to negate this value to itself + // CHECKS: negate-overflow.cpp:[[@LINE+2]]:10: runtime error: negation of -2147483648 cannot be represented in type 'int'; cast to an unsigned type to negate this value to itself + // CHECKU-NOT: runtime error return -(-0x7fffffff - 1); } |
