1 // RUN: %clang %s -target x86_64-unknown-linux-gnu -emit-llvm -S -fsanitize-coverage=trace-pc,trace-cmp -o - | FileCheck %s --check-prefixes=CHECK 2 // 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,ASAN 3 // 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,BOUNDS 4 // 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,MSAN 5 // 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,TSAN 6 // 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,UBSAN 7 8 int x[10]; 9 10 // CHECK-LABEL: define dso_local void @foo( 11 void foo(int n) { 12 // CHECK-DAG: call void @__sanitizer_cov_trace_pc 13 // CHECK-DAG: call void @__sanitizer_cov_trace_const_cmp 14 // ASAN-DAG: call void @__asan_report_store 15 // MSAN-DAG: call void @__msan_warning 16 // BOUNDS-DAG: call void @__ubsan_handle_out_of_bounds 17 // TSAN-DAG: call void @__tsan_func_entry 18 // UBSAN-DAG: call void @__ubsan_handle 19 if (n) 20 x[n] = 42; 21 } 22 23 static inline __attribute__((__always_inline__)) void always_inlined_fn(int n) { 24 if (n) 25 x[n] = 42; 26 } 27 // CHECK-LABEL: define dso_local void @test_always_inline( 28 void test_always_inline(int n) { 29 // CHECK-DAG: call void @__sanitizer_cov_trace_pc 30 // CHECK-DAG: call void @__sanitizer_cov_trace_const_cmp 31 always_inlined_fn(n); 32 } 33 34 // CHECK-LABEL: define dso_local void @test_no_sanitize_coverage( 35 __attribute__((no_sanitize("coverage"))) void test_no_sanitize_coverage(int n) { 36 // CHECK-NOT: call void @__sanitizer_cov_trace_pc 37 // CHECK-NOT: call void @__sanitizer_cov_trace_const_cmp 38 // ASAN-DAG: call void @__asan_report_store 39 // MSAN-DAG: call void @__msan_warning 40 // BOUNDS-DAG: call void @__ubsan_handle_out_of_bounds 41 // TSAN-DAG: call void @__tsan_func_entry 42 // UBSAN-DAG: call void @__ubsan_handle 43 if (n) 44 x[n] = 42; 45 } 46 47 48 // CHECK-LABEL: define dso_local void @test_no_sanitize_combined( 49 __attribute__((no_sanitize("address", "memory", "thread", "bounds", "undefined", "coverage"))) 50 void test_no_sanitize_combined(int n) { 51 // CHECK-NOT: call void @__sanitizer_cov_trace_pc 52 // CHECK-NOT: call void @__sanitizer_cov_trace_const_cmp 53 // ASAN-NOT: call void @__asan_report_store 54 // MSAN-NOT: call void @__msan_warning 55 // BOUNDS-NOT: call void @__ubsan_handle_out_of_bounds 56 // BOUNDS-NOT: call void @llvm.trap() 57 // TSAN-NOT: call void @__tsan_func_entry 58 // UBSAN-NOT: call void @__ubsan_handle 59 if (n) 60 x[n] = 42; 61 } 62 63 // CHECK-LABEL: define dso_local void @test_no_sanitize_separate( 64 __attribute__((no_sanitize("address"))) 65 __attribute__((no_sanitize("memory"))) 66 __attribute__((no_sanitize("thread"))) 67 __attribute__((no_sanitize("bounds"))) 68 __attribute__((no_sanitize("undefined"))) 69 __attribute__((no_sanitize("coverage"))) 70 void test_no_sanitize_separate(int n) { 71 // CHECK-NOT: call void @__sanitizer_cov_trace_pc 72 // CHECK-NOT: call void @__sanitizer_cov_trace_const_cmp 73 // ASAN-NOT: call void @__asan_report_store 74 // MSAN-NOT: call void @__msan_warning 75 // BOUNDS-NOT: call void @__ubsan_handle_out_of_bounds 76 // BOUNDS-NOT: call void @llvm.trap() 77 // TSAN-NOT: call void @__tsan_func_entry 78 // UBSAN-NOT: call void @__ubsan_handle 79 if (n) 80 x[n] = 42; 81 } 82 83 // CHECK-LABEL: define dso_local void @test_no_sanitize_always_inline( 84 __attribute__((no_sanitize("coverage"))) 85 void test_no_sanitize_always_inline(int n) { 86 // CHECK-NOT: call void @__sanitizer_cov_trace_pc 87 // CHECK-NOT: call void @__sanitizer_cov_trace_const_cmp 88 always_inlined_fn(n); 89 } 90 91 // CHECK-LABEL: declare void 92