diff options
| author | Dimitry Andric <dim@FreeBSD.org> | 2017-05-29 16:25:57 +0000 |
|---|---|---|
| committer | Dimitry Andric <dim@FreeBSD.org> | 2017-05-29 16:25:57 +0000 |
| commit | 224c1c721b03784d0da2af00884ea8d4eb7a1650 (patch) | |
| tree | ac9e50e358e85ab37022d6fdafaa0c8dbb4adad2 /test/ubsan | |
| parent | 99ea5e489fa5765bf0eb50ca4261ab5cc20abeeb (diff) | |
| download | src-test2-224c1c721b03784d0da2af00884ea8d4eb7a1650.tar.gz src-test2-224c1c721b03784d0da2af00884ea8d4eb7a1650.zip | |
Notes
Diffstat (limited to 'test/ubsan')
| -rw-r--r-- | test/ubsan/TestCases/Integer/negate-overflow.cpp | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/test/ubsan/TestCases/Integer/negate-overflow.cpp b/test/ubsan/TestCases/Integer/negate-overflow.cpp index 628291eb4b95..72438d3fba7f 100644 --- a/test/ubsan/TestCases/Integer/negate-overflow.cpp +++ b/test/ubsan/TestCases/Integer/negate-overflow.cpp @@ -6,7 +6,9 @@ int main() { // 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 + // 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 - return -(-0x7fffffff - 1); + -(-0x7fffffff - 1); + + return 0; } |