| RUN: %cpp_compiler -fsanitize=undefined -fno-sanitize-recover=all %S/SignedIntOverflowTest.cpp -o %t-SignedIntOverflowTest-Ubsan | |
| RUN: not %t-SignedIntOverflowTest-Ubsan 2>&1 | FileCheck %s | |
| CHECK: runtime error: signed integer overflow: 2147483647 + 1 cannot be represented in type 'int' | |
| CHECK: Test unit written to ./crash- | |