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 // TSAN-NOT: call void @__tsan_func_entry 57 // UBSAN-NOT: call void @__ubsan_handle 58 if (n) 59 x[n] = 42; 60 } 61 62 // CHECK-LABEL: define dso_local void @test_no_sanitize_separate( 63 __attribute__((no_sanitize("address"))) 64 __attribute__((no_sanitize("memory"))) 65 __attribute__((no_sanitize("thread"))) 66 __attribute__((no_sanitize("bounds"))) 67 __attribute__((no_sanitize("undefined"))) 68 __attribute__((no_sanitize("coverage"))) 69 void test_no_sanitize_separate(int n) { 70 // CHECK-NOT: call void @__sanitizer_cov_trace_pc 71 // CHECK-NOT: call void @__sanitizer_cov_trace_const_cmp 72 // ASAN-NOT: call void @__asan_report_store 73 // MSAN-NOT: call void @__msan_warning 74 // BOUNDS-NOT: call void @__ubsan_handle_out_of_bounds 75 // TSAN-NOT: call void @__tsan_func_entry 76 // UBSAN-NOT: call void @__ubsan_handle 77 if (n) 78 x[n] = 42; 79 } 80 81 // CHECK-LABEL: define dso_local void @test_no_sanitize_always_inline( 82 __attribute__((no_sanitize("coverage"))) 83 void test_no_sanitize_always_inline(int n) { 84 // CHECK-NOT: call void @__sanitizer_cov_trace_pc 85 // CHECK-NOT: call void @__sanitizer_cov_trace_const_cmp 86 always_inlined_fn(n); 87 } 88 89 // CHECK-LABEL: declare void 90