| 1 | // Ensure compatiblity of UBSan unreachable with ASan in the presence of |
|---|
| 2 | // noreturn functions. |
|---|
| 3 | // RUN: %clang_cc1 -fsanitize=unreachable,address -triple x86_64-linux -emit-llvm -o - %s | FileCheck %s |
|---|
| 4 | // RUN: %clang_cc1 -fsanitize=unreachable,kernel-address -triple x86_64-linux -emit-llvm -o - %s | FileCheck %s |
|---|
| 5 | |
|---|
| 6 | void my_longjmp(void) __attribute__((noreturn)); |
|---|
| 7 | |
|---|
| 8 | // CHECK-LABEL: define void @calls_noreturn() |
|---|
| 9 | void calls_noreturn() { |
|---|
| 10 | my_longjmp(); |
|---|
| 11 | // CHECK: @__asan_handle_no_return{{.*}} !nosanitize |
|---|
| 12 | // CHECK-NEXT: @my_longjmp(){{[^#]*}} |
|---|
| 13 | // CHECK: @__ubsan_handle_builtin_unreachable{{.*}} !nosanitize |
|---|
| 14 | // CHECK-NEXT: unreachable |
|---|
| 15 | } |
|---|
| 16 | |
|---|
| 17 | // CHECK: declare void @my_longjmp() [[FN_ATTR:#[0-9]+]] |
|---|
| 18 | // CHECK: declare void @__asan_handle_no_return() |
|---|
| 19 | |
|---|
| 20 | // CHECK-LABEL: attributes |
|---|
| 21 | // CHECK-NOT: [[FN_ATTR]] = { {{.*noreturn.*}} } |
|---|
| 22 | |
|---|