1 // RUN: %clang_cc1 -triple x86_64-apple-darwin %s -emit-llvm -o - -fsanitize=unsigned-integer-overflow | FileCheck %s --check-prefix=UNSIGNED
2 // RUN: %clang_cc1 -triple x86_64-apple-darwin %s -emit-llvm -o - -ftrapv | FileCheck %s --check-prefix=TRAPV
3 // RUN: %clang_cc1 -triple x86_64-apple-darwin %s -emit-llvm -o - -fsanitize=unsigned-integer-overflow -ftrapv | FileCheck %s --check-prefix=BOTH
4 // Verify that -ftrapv and -fsanitize=unsigned-integer-overflow
5 // work together as expected
6
7
8 // UNSIGNED: @test_signed
9 // TRAPV: @test_signed
10 // BOTH: @test_signed
test_signed()11 void test_signed() {
12 extern volatile int a, b, c;
13 // UNSIGNED: add nsw i32
14 // UNSIGNED-NOT: overflow
15 // TRAPV: sadd.with.overflow.i32
16 // TRAPV-NOT: ubsan
17 // TRAPV: llvm.trap
18 // BOTH: sadd.with.overflow.i32
19 // BOTH-NOT: ubsan
20 // BOTH: llvm.trap
21 a = b + c;
22 }
23
24 // UNSIGNED: @test_unsigned
25 // TRAPV: @test_unsigned
26 // BOTH: @test_unsigned
test_unsigned()27 void test_unsigned() {
28 extern volatile unsigned x, y, z;
29 // UNSIGNED: uadd.with.overflow.i32
30 // UNSIGNED-NOT: llvm.trap
31 // UNSIGNED: ubsan
32 // TRAPV-NOT: overflow
33 // TRAPV-NOT: llvm.trap
34 // BOTH: uadd.with.overflow.i32
35 // BOTH: ubsan
36 // BOTH-NOT: llvm.trap
37 x = y + z;
38 }
39