From 8ef50bf3d1c287b5013c3168de77a462dfce3495 Mon Sep 17 00:00:00 2001 From: Dimitry Andric Date: Thu, 6 Nov 2014 22:49:13 +0000 Subject: Import compiler-rt release_34 branch r197381. https://llvm.org/svn/llvm-project/compiler-rt/branches/release_34@197381 --- .../lit_tests/TestCases/Integer/umul-overflow.cpp | 19 +++++++++++++++++++ 1 file changed, 19 insertions(+) create mode 100644 lib/ubsan/lit_tests/TestCases/Integer/umul-overflow.cpp (limited to 'lib/ubsan/lit_tests/TestCases/Integer/umul-overflow.cpp') diff --git a/lib/ubsan/lit_tests/TestCases/Integer/umul-overflow.cpp b/lib/ubsan/lit_tests/TestCases/Integer/umul-overflow.cpp new file mode 100644 index 0000000000000..c84bb39ef2f73 --- /dev/null +++ b/lib/ubsan/lit_tests/TestCases/Integer/umul-overflow.cpp @@ -0,0 +1,19 @@ +// RUN: %clangxx -fsanitize=unsigned-integer-overflow %s -o %t && %t 2>&1 | FileCheck %s + +#include + +int main() { + // These promote to 'int'. + (void)(int8_t(-2) * int8_t(0x7f)); + (void)(int16_t(0x7fff) * int16_t(0x7fff)); + (void)(uint16_t(0xffff) * int16_t(0x7fff)); + (void)(uint16_t(0xffff) * uint16_t(0x8000)); + + // Not an unsigned overflow + (void)(uint16_t(0xffff) * uint16_t(0x8001)); + + (void)(uint32_t(0xffffffff) * uint32_t(0x2)); + // CHECK: umul-overflow.cpp:15:31: runtime error: unsigned integer overflow: 4294967295 * 2 cannot be represented in type 'unsigned int' + + return 0; +} -- cgit v1.2.3