1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
|
// RUN: %clang_cc1 -triple x86_64-apple-darwin10 -fsanitize=unsigned-integer-overflow %s -emit-llvm -o - | FileCheck %s --check-prefix=RECOVER
// RUN: %clang_cc1 -triple x86_64-apple-darwin10 -fsanitize=unsigned-integer-overflow -fno-sanitize-recover %s -emit-llvm -o - | FileCheck %s --check-prefix=ABORT
// RECOVER: @test
// ABORT: @test
void test() {
extern volatile unsigned x, y, z;
// RECOVER: uadd.with.overflow.i32
// RECOVER: ubsan_handle_add_overflow(
// RECOVER-NOT: unreachable
// ABORT: uadd.with.overflow.i32
// ABORT: ubsan_handle_add_overflow_abort(
// ABORT: unreachable
x = y + z;
}
|
