22 lines · c
1// Ensure compatiblity of UBSan unreachable with ASan in the presence of2// noreturn functions.3// RUN: %clang_cc1 -fsanitize=unreachable,address -triple x86_64-linux -emit-llvm -o - %s | FileCheck %s4// RUN: %clang_cc1 -fsanitize=unreachable,kernel-address -triple x86_64-linux -emit-llvm -o - %s | FileCheck %s5 6void my_longjmp(void) __attribute__((noreturn));7 8// CHECK-LABEL: define{{.*}} void @calls_noreturn()9void calls_noreturn(void) {10 my_longjmp();11 // CHECK: @__asan_handle_no_return{{.*}} !nosanitize12 // CHECK-NEXT: @my_longjmp(){{[^#]*}}13 // CHECK: @__ubsan_handle_builtin_unreachable{{.*}} !nosanitize14 // CHECK-NEXT: unreachable15}16 17// CHECK: declare void @my_longjmp() [[FN_ATTR:#[0-9]+]]18// CHECK: declare void @__asan_handle_no_return()19 20// CHECK-LABEL: attributes21// CHECK-NOT: [[FN_ATTR]] = { {{.*noreturn.*}} }22