1 // RUN: %clang_cc1 -x c++ -triple x86_64-apple-darwin10 -emit-llvm -o - %s -fsanitize=nullability-arg | FileCheck %s -check-prefixes=ITANIUM,ALL
2 // RUN: %clang_cc1 -x c++ -triple x86_64-pc-windows-msvc -emit-llvm -o - %s -fsanitize=nullability-arg | FileCheck %s -check-prefixes=MSVC,ALL
3
4 namespace method_ptr {
5
6 struct S0 {
7 void foo1();
8 };
9
10 void foo1(void (S0::*_Nonnull f)());
11
12 // ITANIUM-LABEL: @_ZN10method_ptr5test1Ev(){{.*}} {
13 // ITANIUM: br i1 icmp ne (i64 ptrtoint (void (%"struct.method_ptr::S0"*)* @_ZN10method_ptr2S04foo1Ev to i64), i64 0), label %[[CONT:.*]], label %[[FAIL:[^,]*]]
14 // ITANIUM-EMPTY:
15 // ITANIUM-NEXT: [[FAIL]]:
16 // ITANIUM-NEXT: call void @__ubsan_handle_nullability_arg
17
18 // MSVC-LABEL: @"?test1@method_ptr@@YAXXZ"(){{.*}} {
19 // MSVC: br i1 true, label %[[CONT:.*]], label %[[FAIL:[^,]*]]
20 // MSVC-EMPTY:
21 // MSVC-NEXT: [[FAIL]]:
22 // MSVC-NEXT: call void @__ubsan_handle_nullability_arg
test1()23 void test1() {
24 foo1(&S0::foo1);
25 }
26
27 } // namespace method_ptr
28
29 namespace data_ptr {
30
31 struct S0 {
32 int field1;
33 };
34
35 using member_ptr = int S0::*;
36
37 void foo1(member_ptr _Nonnull);
38
39 // ITANIUM-LABEL: @_ZN8data_ptr5test1ENS_2S0E(
40 // MSVC-LABEL: @"?test1@data_ptr@@YAXUS0@1@@Z"(
41 // ALL: [[DATA_PTR_CHECK:%.*]] = icmp ne {{.*}}, -1, !nosanitize
42 // ALL-NEXT: br i1 [[DATA_PTR_CHECK]], label %[[CONT:.*]], label %[[FAIL:[^,]+]]
43 // ALL-EMPTY:
44 // ALL-NEXT: [[FAIL]]:
45 // ALL-NEXT: call void @__ubsan_handle_nullability_arg
test1(S0 s)46 void test1(S0 s) {
47 int S0::*member = &S0::field1;
48 foo1(member);
49 }
50
51 } // namespace data_ptr
52