summaryrefslogtreecommitdiff
path: root/test/ubsan/TestCases/Integer/negate-overflow.cpp
diff options
context:
space:
mode:
authorDimitry Andric <dim@FreeBSD.org>2019-08-20 18:00:15 +0000
committerDimitry Andric <dim@FreeBSD.org>2019-08-20 18:00:15 +0000
commit63714eb5809e39666dec2454c354195e76f916ba (patch)
treee3714cd783c265396c2ef3c117047e7c0ea41619 /test/ubsan/TestCases/Integer/negate-overflow.cpp
parent0646903fc1f75f6e605754621119473ee083f4a4 (diff)
Notes
Diffstat (limited to 'test/ubsan/TestCases/Integer/negate-overflow.cpp')
-rw-r--r--test/ubsan/TestCases/Integer/negate-overflow.cpp16
1 files changed, 0 insertions, 16 deletions
diff --git a/test/ubsan/TestCases/Integer/negate-overflow.cpp b/test/ubsan/TestCases/Integer/negate-overflow.cpp
deleted file mode 100644
index 5e36b9db657f..000000000000
--- a/test/ubsan/TestCases/Integer/negate-overflow.cpp
+++ /dev/null
@@ -1,16 +0,0 @@
-// RUN: %clangxx -fsanitize=signed-integer-overflow %s -o %t1 && %run %t1 2>&1 | FileCheck %s --check-prefix=CHECKS
-// RUN: %clangxx -fsanitize=unsigned-integer-overflow %s -o %t2 && %run %t2 2>&1 | FileCheck %s --check-prefix=CHECKU
-// RUN: %clangxx -fsanitize=unsigned-integer-overflow %s -o %t2 && %env_ubsan_opts=silence_unsigned_overflow=1 %run %t2 2>&1 | FileCheck %s --check-prefix=CHECKU-SILENT --allow-empty
-
-int main() {
- // CHECKS-NOT: runtime error
- // CHECKU: negate-overflow.cpp:[[@LINE+3]]:3: runtime error: negation of 2147483648 cannot be represented in type 'unsigned int'
- // CHECKU-NOT: cast to an unsigned
- // CHECKU-SILENT-NOT: runtime error
- -unsigned(-0x7fffffff - 1); // ok
- // CHECKS: negate-overflow.cpp:[[@LINE+2]]:3: 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
- -(-0x7fffffff - 1);
-
- return 0;
-}