diff options
| author | Dimitry Andric <dim@FreeBSD.org> | 2015-01-07 19:55:37 +0000 |
|---|---|---|
| committer | Dimitry Andric <dim@FreeBSD.org> | 2015-01-07 19:55:37 +0000 |
| commit | ca9211ecdede9bdedb812b2243a4abdb8dacd1b9 (patch) | |
| tree | 9b19e801150082c33e9152275829a6ce90614b55 /lib/ubsan/lit_tests/TestCases/Integer/negate-overflow.cpp | |
| parent | 8ef50bf3d1c287b5013c3168de77a462dfce3495 (diff) | |
Diffstat (limited to 'lib/ubsan/lit_tests/TestCases/Integer/negate-overflow.cpp')
| -rw-r--r-- | lib/ubsan/lit_tests/TestCases/Integer/negate-overflow.cpp | 12 |
1 files changed, 0 insertions, 12 deletions
diff --git a/lib/ubsan/lit_tests/TestCases/Integer/negate-overflow.cpp b/lib/ubsan/lit_tests/TestCases/Integer/negate-overflow.cpp deleted file mode 100644 index 6bee3eea29802..0000000000000 --- a/lib/ubsan/lit_tests/TestCases/Integer/negate-overflow.cpp +++ /dev/null @@ -1,12 +0,0 @@ -// RUN: %clangxx -fsanitize=signed-integer-overflow %s -o %t && %t 2>&1 | FileCheck %s --check-prefix=CHECKS -// RUN: %clangxx -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 - // 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); -} |