63 lines · plain
1// RUN: %clang_cc1 %s -verify -o /dev/null2// RUN: %clang_cc1 %s -triple x86_64-apple-darwin -emit-llvm -fsanitize=objc-cast -o - | FileCheck %s3 4void p(const char*, ...);5 6@interface NSArray7+(NSArray*) arrayWithObjects: (id) first, ...;8-(unsigned) count;9@end10@interface NSString11-(const char*) cString;12@end13 14#define S(n) @#n15#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 @t023void 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, {{.*}}, !nosanitize31 // CHECK-NEXT: [[kindOfClassSel:%.*]] = load ptr, ptr @OBJC_SELECTOR_REFERENCES{{.*}}, !nosanitize32 // CHECK-NEXT: [[isCls:%.*]] = call zeroext i1 @objc_msgSend(ptr noundef [[theItem:%.*]], ptr noundef [[kindOfClassSel]], ptr noundef [[expectedCls]]), !nosanitize33 // CHECK: br i1 [[isCls]]34 35 // CHECK: ptrtoint ptr [[theItem]] to i64, !nosanitize36 // CHECK-NEXT: call void @__ubsan_handle_invalid_objc_cast37 // CHECK-NEXT: unreachable, !nosanitize38 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