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 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 46 void test1(S0 s) { 47 int S0::*member = &S0::field1; 48 foo1(member); 49 } 50 51 } // namespace data_ptr 52