clang/test/CodeGenObjC/for-in.m

   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
   4 void 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
  23 void 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 %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* noundef [[theItem:%.*]], i8* noundef [[kindOfClassSel]], i8* noundef [[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
  46 void t1(void) {
  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
  62 void t2(NSArray *array) {
  63   for (NSArray *array in array) { // expected-warning {{collection expression type 'NSArray *' may not respond}}
  64   }
  65 }