test/SemaObjC/arc-decls.m

   1 // RUN: %clang_cc1 -fsyntax-only -fblocks -fobjc-arc -verify -Wno-objc-root-class %s
   2
   3 // rdar://8843524
   4
   5 struct A {
   6     id x; // expected-error {{ARC forbids Objective-C objects in struct}}
   7 };
   8
   9 union u {
  10     id u; // expected-error {{ARC forbids Objective-C objects in union}}
  11 };
  12
  13 @interface I {
  14    struct A a;
  15    struct B {
  16     id y[10][20]; // expected-error {{ARC forbids Objective-C objects in struct}}
  17     id z;
  18    } b;
  19
  20    union u c;
  21 };
  22 @end
  23
  24 // rdar://10260525
  25 struct r10260525 {
  26   id (^block) (); // expected-error {{ARC forbids blocks in struct}}
  27 };
  28
  29 struct S {
  30     id __attribute__((objc_ownership(none))) i;
  31     void * vp;
  32     int i1;
  33 };
  34
  35 // rdar://9046528
  36
  37 @class NSError;
  38
  39 __autoreleasing id X; // expected-error {{global variables cannot have __autoreleasing ownership}}
  40 __autoreleasing NSError *E; // expected-error {{global variables cannot have __autoreleasing ownership}}
  41
  42
  43 extern id __autoreleasing X1; // expected-error {{global variables cannot have __autoreleasing ownership}}
  44
  45 void func()
  46 {
  47     id X;
  48     static id __autoreleasing X1; // expected-error {{global variables cannot have __autoreleasing ownership}}
  49     extern id __autoreleasing E; // expected-error {{global variables cannot have __autoreleasing ownership}}
  50
  51 }
  52
  53 // rdar://9157348
  54 // rdar://15757510
  55
  56 @interface J
  57 @property (retain) id newFoo; // expected-error {{property follows Cocoa naming convention for returning 'owned' objects}} expected-note{{explicitly declare getter '-newFoo' with '__attribute__((objc_method_family(none)))' to return an 'unowned' object}}
  58 @property (strong) id copyBar;  // expected-error {{property follows Cocoa naming convention for returning 'owned' objects}} expected-note{{explicitly declare getter '-copyBar' with '__attribute__((objc_method_family(none)))' to return an 'unowned' object}}
  59 @property (copy) id allocBaz; // expected-error {{property follows Cocoa naming convention for returning 'owned' objects}} expected-note{{explicitly declare getter '-allocBaz' with '__attribute__((objc_method_family(none)))' to return an 'unowned' object}}
  60 @property (copy, nonatomic) id new;
  61 @property (retain) id newDFoo; // expected-error {{property follows Cocoa naming convention for returning 'owned' objects}} expected-note{{explicitly declare getter '-newDFoo' with '__attribute__((objc_method_family(none)))' to return an 'unowned' object}}
  62 @property (strong) id copyDBar; // expected-error {{property follows Cocoa naming convention for returning 'owned' objects}} expected-note{{explicitly declare getter '-copyDBar' with '__attribute__((objc_method_family(none)))' to return an 'unowned' object}}
  63 @property (copy) id allocDBaz; // expected-error {{property follows Cocoa naming convention for returning 'owned' objects}} expected-note{{explicitly declare getter '-allocDBaz' with '__attribute__((objc_method_family(none)))' to return an 'unowned' object}}
  64 @end
  65
  66 @implementation J
  67 @synthesize newFoo;
  68 @synthesize copyBar;
  69 @synthesize allocBaz;
  70 @synthesize new;
  71 - new {return 0; };
  72
  73 @dynamic newDFoo;
  74 @dynamic copyDBar;
  75 @dynamic allocDBaz;
  76 @end
  77
  78
  79 @interface MethodFamilyDiags
  80 @property (retain) id newFoo; // expected-error {{property follows Cocoa naming convention for returning 'owned' objects}}
  81 - (id)newFoo; // expected-note {{explicitly declare getter '-newFoo' with '__attribute__((objc_method_family(none)))' to return an 'unowned' object}}
  82
  83 #define OBJC_METHOD_FAMILY_NONE __attribute__((objc_method_family(none)))
  84 - (id)newBar; // expected-note {{explicitly declare getter '-newBar' with 'OBJC_METHOD_FAMILY_NONE' to return an 'unowned' object}}
  85 @property (retain) id newBar; // expected-error {{property follows Cocoa naming convention for returning 'owned' objects}}
  86
  87 @property (retain) id newBaz; // expected-error {{property follows Cocoa naming convention for returning 'owned' objects}} expected-note {{explicitly declare getter '-newBaz' with 'OBJC_METHOD_FAMILY_NONE' to return an 'unowned' object}}
  88 #undef OBJC_METHOD_FAMILY_NONE
  89
  90 @property (retain, readonly) id newGarply; // expected-error {{property follows Cocoa naming convention for returning 'owned' objects}} expected-note {{explicitly declare getter '-newGarply' with '__attribute__((objc_method_family(none)))' to return an 'unowned' object}}
  91 @end
  92
  93 @interface MethodFamilyDiags (Redeclarations)
  94 - (id)newGarply; // no note here
  95 @end
  96
  97 @implementation MethodFamilyDiags
  98 @synthesize newGarply;
  99 @end
 100
 101
 102 // rdar://10187884
 103 @interface Super
 104 - (void)bar:(id)b; // expected-note {{parameter declared here}}
 105 - (void)bar1:(id) __attribute((ns_consumed)) b;
 106 - (void)ok:(id) __attribute((ns_consumed)) b;
 107 - (id)ns_non; // expected-note {{method declared here}}
 108 - (id)not_ret:(id) b __attribute((ns_returns_not_retained)); // expected-note {{method declared here}}
 109 - (id)both__returns_not_retained:(id) b __attribute((ns_returns_not_retained));
 110 @end
 111
 112 @interface Sub : Super
 113 - (void)bar:(id) __attribute((ns_consumed)) b; // expected-error {{overriding method has mismatched ns_consumed attribute on its parameter}}
 114 - (void)bar1:(id)b;
 115 - (void)ok:(id) __attribute((ns_consumed)) b;
 116 - (id)ns_non __attribute((ns_returns_not_retained)); // expected-error {{overriding method has mismatched ns_returns_not_retained attributes}}
 117 - (id)not_ret:(id) b __attribute((ns_returns_retained)); // expected-error {{overriding method has mismatched ns_returns_retained attributes}}
 118 - (id)both__returns_not_retained:(id) b __attribute((ns_returns_not_retained));
 119 // rdar://12173491
 120 @property (copy, nonatomic) __attribute__((ns_returns_retained)) id (^fblock)(void);
 121 @end
 122
 123 // Test that we give a good diagnostic here that mentions the missing
 124 // ownership qualifier.  We don't want this to get suppressed because
 125 // of an invalid conversion.
 126 void test7(void) {
 127   id x;
 128   id *px = &x; // expected-error {{pointer to non-const type 'id' with no explicit ownership}}
 129
 130   I *y;
 131   J **py = &y; // expected-error {{pointer to non-const type 'J *' with no explicit ownership}} expected-warning {{incompatible pointer types initializing}}
 132 }
 133
 134 void func(void) __attribute__((objc_ownership(none)));  // expected-warning {{'objc_ownership' only applies to Objective-C object or block pointer types; type here is 'void (void)'}}
 135 struct __attribute__((objc_ownership(none))) S2 {}; // expected-error {{'objc_ownership' attribute only applies to variables}}
 136 @interface I2
 137     @property __attribute__((objc_ownership(frob))) id i; // expected-warning {{'objc_ownership' attribute argument not supported: 'frob'}}
 138 @end
 139
 140 // rdar://15304886
 141 @interface NSObject @end
 142
 143 @interface ControllerClass : NSObject @end
 144
 145 @interface SomeClassOwnedByController
 146 @property (readonly) ControllerClass *controller; // expected-note {{property declared here}}
 147
 148 // rdar://15465916
 149 @property (readonly, weak) ControllerClass *weak_controller;
 150 @end
 151
 152 @interface SomeClassOwnedByController ()
 153 @property (readwrite, weak) ControllerClass *controller; // expected-warning {{primary property declaration is implicitly strong while redeclaration in class extension is weak}}
 154
 155 @property (readwrite, weak) ControllerClass *weak_controller;
 156 @end