117 lines · c
1// RUN: %clang %s -target x86_64-unknown-linux-gnu -emit-llvm -S -fsanitize-coverage=trace-pc,trace-cmp -o - | FileCheck %s --check-prefixes=CHECK2// RUN: %clang %s -target x86_64-unknown-linux-gnu -emit-llvm -S -fsanitize=address -fsanitize-coverage=trace-pc,trace-cmp -o - | FileCheck %s --check-prefixes=CHECK,ASAN3// RUN: %clang %s -target x86_64-unknown-linux-gnu -emit-llvm -S -fsanitize=bounds -fsanitize-coverage=trace-pc,trace-cmp -o - | FileCheck %s --check-prefixes=CHECK,BOUNDS4// RUN: %clang %s -target x86_64-unknown-linux-gnu -emit-llvm -S -fsanitize=memory -fsanitize-coverage=trace-pc,trace-cmp -o - | FileCheck %s --check-prefixes=CHECK,MSAN5// RUN: %clang %s -target x86_64-unknown-linux-gnu -emit-llvm -S -fsanitize=thread -fsanitize-coverage=trace-pc,trace-cmp -o - | FileCheck %s --check-prefixes=CHECK,TSAN6// RUN: %clang %s -target x86_64-unknown-linux-gnu -emit-llvm -S -fsanitize=undefined -fsanitize-coverage=trace-pc,trace-cmp -o - | FileCheck %s --check-prefixes=CHECK,UBSAN7// RUN: %clang %s -target x86_64-unknown-linux-gnu -emit-llvm -S -fsanitize=kcfi -fsanitize-coverage=trace-pc,trace-cmp -o - | FileCheck %s --check-prefixes=CHECK,KCFI8// RUN: %clang %s -target x86_64-unknown-linux-gnu -emit-llvm -S -fsanitize=cfi -fsanitize-coverage=trace-pc,trace-cmp -flto -fvisibility=default -fno-sanitize-trap=cfi -fno-sanitize-ignorelist -resource-dir=/dev/null -o - | FileCheck %s --check-prefixes=CHECK,CFI9 10int x[10];11extern void (*f)(void);12 13// CHECK-LABEL: define dso_local void @foo(14void foo(int n) {15 // CHECK-DAG: call void @__sanitizer_cov_trace_pc16 // CHECK-DAG: call void @__sanitizer_cov_trace_const_cmp17 // ASAN-DAG: call void @__asan_report_store18 // MSAN-DAG: call void @__msan_warning19 // BOUNDS-DAG: call void @__ubsan_handle_out_of_bounds20 // TSAN-DAG: call void @__tsan_func_entry21 // UBSAN-DAG: call void @__ubsan_handle22 if (n)23 x[n] = 42;24 // KCFI-DAG: call void %[[#]]() [ "kcfi"(i32 {{.*}}) ]25 // CFI-DAG: call void @__ubsan_handle_cfi_check_fail_abort26 f();27}28 29static inline __attribute__((__always_inline__)) void always_inlined_fn(int n) {30 if (n)31 x[n] = 42;32}33// CHECK-LABEL: define dso_local void @test_always_inline(34void test_always_inline(int n) {35 // CHECK-DAG: call void @__sanitizer_cov_trace_pc36 // CHECK-DAG: call void @__sanitizer_cov_trace_const_cmp37 always_inlined_fn(n);38}39 40// CHECK-LABEL: define dso_local void @test_no_sanitize_coverage(41__attribute__((no_sanitize("coverage"))) void test_no_sanitize_coverage(int n) {42 // CHECK-NOT: call void @__sanitizer_cov_trace_pc43 // CHECK-NOT: call void @__sanitizer_cov_trace_const_cmp44 // ASAN-DAG: call void @__asan_report_store45 // MSAN-DAG: call void @__msan_warning46 // BOUNDS-DAG: call void @__ubsan_handle_out_of_bounds47 // TSAN-DAG: call void @__tsan_func_entry48 // UBSAN-DAG: call void @__ubsan_handle49 if (n)50 x[n] = 42;51 // KCFI-DAG: call void %[[#]]() [ "kcfi"(i32 {{.*}}) ]52 // CFI-DAG: call void @__ubsan_handle_cfi_check_fail_abort53 f();54}55 56 57// CHECK-LABEL: define dso_local void @test_no_sanitize_combined(58__attribute__((no_sanitize("address", "memory", "thread", "bounds", "undefined", "coverage")))59void test_no_sanitize_combined(int n) {60 // CHECK-NOT: call void @__sanitizer_cov_trace_pc61 // CHECK-NOT: call void @__sanitizer_cov_trace_const_cmp62 // ASAN-NOT: call void @__asan_report_store63 // MSAN-NOT: call void @__msan_warning64 // BOUNDS-NOT: call void @__ubsan_handle_out_of_bounds65 // BOUNDS-NOT: call void @llvm.trap()66 // TSAN-NOT: call void @__tsan_func_entry67 // UBSAN-NOT: call void @__ubsan_handle68 if (n)69 x[n] = 42;70}71 72// CHECK-LABEL: define dso_local void @test_no_sanitize_separate(73__attribute__((no_sanitize("address")))74__attribute__((no_sanitize("memory")))75__attribute__((no_sanitize("thread")))76__attribute__((no_sanitize("bounds")))77__attribute__((no_sanitize("undefined")))78__attribute__((no_sanitize("coverage")))79void test_no_sanitize_separate(int n) {80 // CHECK-NOT: call void @__sanitizer_cov_trace_pc81 // CHECK-NOT: call void @__sanitizer_cov_trace_const_cmp82 // ASAN-NOT: call void @__asan_report_store83 // MSAN-NOT: call void @__msan_warning84 // BOUNDS-NOT: call void @__ubsan_handle_out_of_bounds85 // BOUNDS-NOT: call void @llvm.trap()86 // TSAN-NOT: call void @__tsan_func_entry87 // UBSAN-NOT: call void @__ubsan_handle88 if (n)89 x[n] = 42;90}91 92// CHECK-LABEL: define dso_local void @test_no_sanitize_kcfi(93__attribute__((no_sanitize("kcfi", "coverage")))94void test_no_sanitize_kcfi(void) {95 // CHECK-NOT: call void @__sanitizer_cov_trace96 // KCFI-NOT: call void %[[#]]() [ "kcfi"(i32 {{.*}}) ]97 f();98}99 100// CHECK-LABEL: define dso_local void @test_no_sanitize_cfi(101__attribute__((no_sanitize("cfi", "coverage")))102void test_no_sanitize_cfi(void) {103 // CHECK-NOT: call void @__sanitizer_cov_trace104 // CFI-NOT: call void @__ubsan_handle_cfi_check_fail_abort105 f();106}107 108// CHECK-LABEL: define dso_local void @test_no_sanitize_always_inline(109__attribute__((no_sanitize("coverage")))110void test_no_sanitize_always_inline(int n) {111 // CHECK-NOT: call void @__sanitizer_cov_trace_pc112 // CHECK-NOT: call void @__sanitizer_cov_trace_const_cmp113 always_inlined_fn(n);114}115 116// CHECK-LABEL: declare void117