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() { 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 %struct._class_t*, {{.*}}, !nosanitize 31 // CHECK-NEXT: [[kindOfClassSel:%.*]] = load i8*, i8** @OBJC_SELECTOR_REFERENCES{{.*}}, !nosanitize 32 // CHECK-NEXT: [[expectedClsI8:%.*]] = bitcast %struct._class_t* [[expectedCls]] to i8*, !nosanitize 33 // CHECK-NEXT: [[isCls:%.*]] = call zeroext i1 bitcast {{.*}}@objc_msgSend to i1 (i8*, i8*, {{.*}})(i8* [[theItem:%.*]], i8* [[kindOfClassSel]], i8* [[expectedClsI8]]), !nosanitize 34 // CHECK: br i1 [[isCls]] 35 36 // CHECK: ptrtoint i8* [[theItem]] to i64, !nosanitize 37 // CHECK-NEXT: call void @__ubsan_handle_invalid_objc_cast 38 // CHECK-NEXT: unreachable, !nosanitize 39 40 // CHECK: bitcast i8* [[theItem]] 41 42 p("element %d: %s\n", index++, [i cString]); 43 } 44} 45 46void t1() { 47 NSArray *array = [NSArray arrayWithObjects: L6(0), (void*)0]; 48 49 p("array.length: %d\n", [array count]); 50 unsigned index = 0; 51 for (NSString *i in array) { // expected-warning {{collection expression type 'NSArray *' may not respond}} 52 index++; 53 if (index == 10) 54 continue; 55 p("element %d: %s\n", index, [i cString]); 56 if (index == 55) 57 break; 58 } 59} 60 61// rdar://problem/9027663 62void t2(NSArray *array) { 63 for (NSArray *array in array) { // expected-warning {{collection expression type 'NSArray *' may not respond}} 64 } 65} 66