1// RUN: %clang_cc1 %s -verify -o /dev/null 2// RUN: %clang_cc1 %s -triple x86_64-apple-darwin -emit-llvm -fsanitize=objc-cast -o - | FileCheck %s 3 4void p(const char*, ...); 5 6@interface NSArray 7+(NSArray*) arrayWithObjects: (id) first, ...; 8-(unsigned) count; 9@end 10@interface NSString 11-(const char*) cString; 12@end 13 14#define S(n) @#n 15#define L1(n) S(n+0),S(n+1) 16#define L2(n) L1(n+0),L1(n+2) 17#define L3(n) L2(n+0),L2(n+4) 18#define L4(n) L3(n+0),L3(n+8) 19#define L5(n) L4(n+0),L4(n+16) 20#define L6(n) L5(n+0),L5(n+32) 21 22// CHECK-LABEL: define{{.*}} void @t0 23void t0(void) { 24 NSArray *array = [NSArray arrayWithObjects: L1(0), (void*)0]; 25 26 p("array.length: %d\n", [array count]); 27 unsigned index = 0; 28 for (NSString *i in array) { // expected-warning {{collection expression type 'NSArray *' may not respond}} 29 30 // CHECK: [[expectedCls:%.*]] = load ptr, {{.*}}, !nosanitize 31 // CHECK-NEXT: [[kindOfClassSel:%.*]] = load ptr, ptr @OBJC_SELECTOR_REFERENCES{{.*}}, !nosanitize 32 // CHECK-NEXT: [[isCls:%.*]] = call zeroext i1 @objc_msgSend(ptr noundef [[theItem:%.*]], ptr noundef [[kindOfClassSel]], ptr noundef [[expectedCls]]), !nosanitize 33 // CHECK: br i1 [[isCls]] 34 35 // CHECK: ptrtoint ptr [[theItem]] to i64, !nosanitize 36 // CHECK-NEXT: call void @__ubsan_handle_invalid_objc_cast 37 // CHECK-NEXT: unreachable, !nosanitize 38 39 40 p("element %d: %s\n", index++, [i cString]); 41 } 42} 43 44void t1(void) { 45 NSArray *array = [NSArray arrayWithObjects: L6(0), (void*)0]; 46 47 p("array.length: %d\n", [array count]); 48 unsigned index = 0; 49 for (NSString *i in array) { // expected-warning {{collection expression type 'NSArray *' may not respond}} 50 index++; 51 if (index == 10) 52 continue; 53 p("element %d: %s\n", index, [i cString]); 54 if (index == 55) 55 break; 56 } 57} 58 59void t2(NSArray *array) { 60 for (NSArray *array in array) { // expected-warning {{collection expression type 'NSArray *' may not respond}} 61 } 62} 63