1 // RUN: %clangxx -fsanitize=unsigned-integer-overflow %s -o %t && %run %t 2>&1 | FileCheck %s 2 // RUN: %clangxx -fsanitize=unsigned-integer-overflow -fno-sanitize-recover=all %s -o %t && not --crash %run %t 2>&1 | FileCheck %s 3 4 #include <stdint.h> 5 main()6int main() { 7 uint32_t k = 0x87654321; 8 k += 0xedcba987; 9 // CHECK: add-overflow 10 } 11