diff options
| author | dim <dim@FreeBSD.org> | 2015-01-07 19:55:37 +0000 |
|---|---|---|
| committer | dim <dim@FreeBSD.org> | 2015-01-07 19:55:37 +0000 |
| commit | 2f1c5cc1039d86db0037cb086bd58f4b90dc6f66 (patch) | |
| tree | 9b19e801150082c33e9152275829a6ce90614b55 /test/ubsan/TestCases/Integer/incdec-overflow.cpp | |
| parent | c3f67e1dc21025f1026cbf72628b19fb37f7b53d (diff) | |
| download | FreeBSD-src-2f1c5cc1039d86db0037cb086bd58f4b90dc6f66.zip FreeBSD-src-2f1c5cc1039d86db0037cb086bd58f4b90dc6f66.tar.gz | |
Import compiler-rt trunk r224034.
https://llvm.org/svn/llvm-project/compiler-rt/trunk@224034
Diffstat (limited to 'test/ubsan/TestCases/Integer/incdec-overflow.cpp')
| -rw-r--r-- | test/ubsan/TestCases/Integer/incdec-overflow.cpp | 16 |
1 files changed, 16 insertions, 0 deletions
diff --git a/test/ubsan/TestCases/Integer/incdec-overflow.cpp b/test/ubsan/TestCases/Integer/incdec-overflow.cpp new file mode 100644 index 0000000..fc7141c --- /dev/null +++ b/test/ubsan/TestCases/Integer/incdec-overflow.cpp @@ -0,0 +1,16 @@ +// RUN: %clangxx -DOP=n++ -fsanitize=signed-integer-overflow %s -o %t && %run %t 2>&1 | FileCheck %s +// RUN: %clangxx -DOP=++n -fsanitize=signed-integer-overflow %s -o %t && %run %t 2>&1 | FileCheck %s +// RUN: %clangxx -DOP=m-- -fsanitize=signed-integer-overflow %s -o %t && %run %t 2>&1 | FileCheck %s +// RUN: %clangxx -DOP=--m -fsanitize=signed-integer-overflow %s -o %t && %run %t 2>&1 | FileCheck %s + +#include <stdint.h> + +int main() { + int n = 0x7ffffffd; + n++; + n++; + int m = -n - 1; + // CHECK: incdec-overflow.cpp:15:3: runtime error: signed integer overflow: [[MINUS:-?]]214748364 + // CHECK: + [[MINUS]]1 cannot be represented in type 'int' + OP; +} |
