diff options
| author | Dimitry Andric <dim@FreeBSD.org> | 2019-08-20 18:00:15 +0000 |
|---|---|---|
| committer | Dimitry Andric <dim@FreeBSD.org> | 2019-08-20 18:00:15 +0000 |
| commit | 63714eb5809e39666dec2454c354195e76f916ba (patch) | |
| tree | e3714cd783c265396c2ef3c117047e7c0ea41619 /test/ubsan/TestCases/Integer/negate-overflow.cpp | |
| parent | 0646903fc1f75f6e605754621119473ee083f4a4 (diff) | |
Notes
Diffstat (limited to 'test/ubsan/TestCases/Integer/negate-overflow.cpp')
| -rw-r--r-- | test/ubsan/TestCases/Integer/negate-overflow.cpp | 16 |
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; -} |
