clang/test/SemaObjC/unguarded-availability.m

   1 // RUN: %clang_cc1 -triple x86_64-apple-macosx10.9 -Wunguarded-availability -fblocks -fsyntax-only -verify %s
   2 // RUN: %clang_cc1 -xobjective-c++ -std=c++11 -DOBJCPP -triple x86_64-apple-macosx10.9 -Wunguarded-availability -fblocks -fsyntax-only -verify %s
   3
   4 #define AVAILABLE_10_0  __attribute__((availability(macos, introduced = 10.0)))
   5 #define AVAILABLE_10_11 __attribute__((availability(macos, introduced = 10.11)))
   6 #define AVAILABLE_10_12 __attribute__((availability(macos, introduced = 10.12)))
   7
   8 typedef int AVAILABLE_10_12 new_int; // expected-note + {{'new_int' has been marked as being introduced in macOS 10.12 here, but the deployment target is macOS 10.9}}
   9
  10 int func_10_11(void) AVAILABLE_10_11; // expected-note 8 {{'func_10_11' has been marked as being introduced in macOS 10.11 here, but the deployment target is macOS 10.9}}
  11
  12 #ifdef OBJCPP
  13 // expected-note@+2 6 {{'func_10_12' has been marked as being introduced in macOS 10.12 here, but the deployment target is macOS 10.9}}
  14 #endif
  15 int func_10_12(void) AVAILABLE_10_12; // expected-note 7 {{'func_10_12' has been marked as being introduced in macOS 10.12 here, but the deployment target is macOS 10.9}}
  16
  17 int func_10_0(void) AVAILABLE_10_0;
  18
  19 void use_func(void) {
  20   func_10_11(); // expected-warning{{'func_10_11' is only available on macOS 10.11 or newer}} expected-note{{enclose 'func_10_11' in an @available check to silence this warning}}
  21
  22   if (@available(macos 10.11, *))
  23     func_10_11();
  24   else
  25     func_10_11(); // expected-warning{{'func_10_11' is only available on macOS 10.11 or newer}} expected-note{{enclose 'func_10_11' in an @available check to silence this warning}}
  26 }
  27
  28 void defn_10_11(void) AVAILABLE_10_11;
  29
  30 void defn_10_11(void) {
  31   func_10_11();
  32 }
  33
  34 void nested_ifs(void) {
  35   if (@available(macos 10.12, *)) {
  36     if (@available(macos 10.10, *)) {
  37       func_10_12();
  38     } else {
  39       func_10_12();
  40     }
  41   } else {
  42     func_10_12(); // expected-warning{{'func_10_12' is only available on macOS 10.12 or newer}} expected-note{{enclose 'func_10_12' in an @available check to silence this warning}}
  43   }
  44 }
  45
  46 void star_case(void) {
  47   if (@available(ios 9, *)) {
  48     func_10_11(); // expected-warning{{'func_10_11' is only available on macOS 10.11 or newer}} expected-note{{enclose 'func_10_11' in an @available check to silence this warning}}
  49     func_10_0();
  50   } else
  51     func_10_11(); // expected-warning{{'func_10_11' is only available on macOS 10.11 or newer}} expected-note{{enclose 'func_10_11' in an @available check to silence this warning}}
  52
  53   if (@available(macOS 10.11, *)) {
  54     if (@available(ios 8, *)) {
  55       func_10_11();
  56       func_10_12(); // expected-warning{{'func_10_12' is only available on macOS 10.12 or newer}} expected-note{{enclose}}
  57     } else {
  58       func_10_11();
  59       func_10_12(); // expected-warning{{'func_10_12' is only available on macOS 10.12 or newer}} expected-note{{enclose}}
  60     }
  61   }
  62 }
  63
  64 typedef int int_10_11 AVAILABLE_10_11; // expected-note {{'int_10_11' has been marked as being introduced in macOS 10.11 here, but the deployment target is macOS 10.9}}
  65 #ifdef OBJCPP
  66 // expected-note@+2 {{'int_10_12' has been marked as being introduced in macOS 10.12 here, but the deployment target is macOS 10.9}}
  67 #endif
  68 typedef int int_10_12 AVAILABLE_10_12; // expected-note 2 {{'int_10_12' has been marked as being introduced in macOS 10.12 here, but the deployment target is macOS 10.9}}
  69
  70 void use_typedef(void) {
  71   int_10_11 x; // expected-warning{{'int_10_11' is only available on macOS 10.11 or newer}} expected-note{{enclose 'int_10_11' in an @available check to silence this warning}}
  72 }
  73
  74 __attribute__((objc_root_class))
  75 AVAILABLE_10_11 @interface Class_10_11 { // expected-note{{annotate 'Class_10_11' with an availability attribute to silence}}
  76   int_10_11 foo;
  77   int_10_12 bar; // expected-warning {{'int_10_12' is only available on macOS 10.12 or newer}}
  78 }
  79 - (void)method1;
  80 - (void)method2;
  81 @end
  82
  83 @implementation Class_10_11
  84 - (void) method1 {
  85   func_10_11();
  86   func_10_12(); // expected-warning{{'func_10_12' is only available on macOS 10.12 or newer}} expected-note{{enclose 'func_10_12' in an @available check to silence this warning}}
  87 }
  88
  89 - (void)method2 AVAILABLE_10_12 {
  90   func_10_12();
  91 }
  92
  93 @end
  94
  95 int protected_scope(void) {
  96   if (@available(macos 10.20, *)) { // expected-note 2 {{jump enters controlled statement of if available}}
  97   label1:
  98     return 0;
  99   } else {
 100   label2:
 101     goto label1; // expected-error{{cannot jump from this goto statement to its label}}
 102   }
 103
 104   goto label2; // expected-error{{cannot jump from this goto statement to its label}}
 105 }
 106
 107 struct S {
 108   int m1;
 109   int m2 __attribute__((availability(macos, introduced = 10.12))); // expected-note{{has been marked as being introduced in macOS 10.12 here, but the deployment target is macOS 10.9}}
 110
 111   struct Nested {
 112     int nested_member __attribute__((availability(macos, introduced = 10.12))); // expected-note{{'nested_member' has been marked as being introduced in macOS 10.12 here, but the deployment target is macOS 10.9}}
 113   } n;
 114 };
 115
 116 int test_members(void) {
 117   struct S s;
 118   (void)s.m1;
 119   (void)s.m2; // expected-warning{{'m2' is only available on macOS 10.12 or newer}} expected-note{{@available}}
 120
 121   (void)s.n.nested_member; // expected-warning{{'nested_member' is only available on macOS 10.12 or newer}} expected-note{{@available}}
 122 }
 123
 124 void test_blocks(void) {
 125   (void) ^{
 126     func_10_12(); // expected-warning{{'func_10_12' is only available on macOS 10.12 or newer}} expected-note{{@available}}
 127   };
 128
 129   if (@available(macos 10.12, *))
 130     (void) ^{
 131       func_10_12();
 132       (void) ^{
 133         func_10_12();
 134       };
 135     };
 136 }
 137
 138 void test_params(int_10_12 x); // expected-warning {{'int_10_12' is only available on macOS 10.12 or newer}} expected-note{{annotate 'test_params' with an availability attribute to silence this warning}}
 139
 140 void test_params2(int_10_12 x) AVAILABLE_10_12; // no warn
 141
 142 void (^topLevelBlockDecl)(void) = ^ {
 143   func_10_12(); // expected-warning{{'func_10_12' is only available on macOS 10.12 or newer}} expected-note{{@available}}
 144   if (@available(macos 10.12, *))
 145     func_10_12();
 146 };
 147
 148 AVAILABLE_10_12
 149 __attribute__((objc_root_class))
 150 @interface InterWithProp // expected-note 2 {{'InterWithProp' has been marked as being introduced in macOS 10.12 here, but the deployment target is macOS 10.9}}
 151 @property(class) int x;
 152 + (void) setX: (int)newX AVAILABLE_10_12; // expected-note{{'setX:' has been marked as being introduced in macOS 10.12 here, but the deployment target is macOS 10.9}}
 153 @end
 154 void test_property(void) {
 155   int y = InterWithProp.x; // expected-warning{{'InterWithProp' is only available on macOS 10.12 or newer}} expected-note{{@available}}
 156   InterWithProp.x = y; // expected-warning{{'InterWithProp' is only available on macOS 10.12 or newer}} expected-note{{@available}} expected-warning{{'setX:' is only available on macOS 10.12 or newer}} expected-note{{@available}}
 157 }
 158
 159 __attribute__((objc_root_class))
 160 @interface Subscriptable
 161 - (id)objectAtIndexedSubscript:(int)sub AVAILABLE_10_12; // expected-note{{'objectAtIndexedSubscript:' has been marked as being introduced in macOS 10.12 here, but the deployment target is macOS 10.9}}
 162 @end
 163
 164 void test_at(Subscriptable *x) {
 165   id y = x[42]; // expected-warning{{'objectAtIndexedSubscript:' is only available on macOS 10.12 or newer}} expected-note{{@available}}
 166 }
 167
 168 void uncheckAtAvailable(void) {
 169   if (@available(macOS 10.12, *) || 0) // expected-warning {{@available does not guard availability here; use if (@available) instead}}
 170     func_10_12(); // expected-warning {{'func_10_12' is only available on macOS 10.12 or newer}}
 171   // expected-note@-1 {{enclose 'func_10_12' in an @available check to silence this warning}}
 172 }
 173
 174 void justAtAvailable(void) {
 175   int availability = @available(macOS 10.12, *); // expected-warning {{@available does not guard availability here; use if (@available) instead}}
 176 }
 177
 178 #ifdef OBJCPP
 179
 180 int f(char) AVAILABLE_10_12;
 181 int f(int);
 182
 183 template <class T> int use_f() {
 184   // FIXME: We should warn here!
 185   return f(T());
 186 }
 187
 188 int a = use_f<int>();
 189 int b = use_f<char>();
 190
 191 template <class> int use_at_available() {
 192   if (@available(macos 10.12, *))
 193     return func_10_12();
 194   else
 195     return func_10_12(); // expected-warning {{'func_10_12' is only available on macOS 10.12 or newer}} expected-note{{enclose}}
 196 }
 197
 198 int instantiate_template() {
 199   if (@available(macos 10.12, *)) {
 200     use_at_available<char>();
 201   } else {
 202     use_at_available<float>();
 203   }
 204 }
 205
 206 template <class>
 207 int with_availability_attr() AVAILABLE_10_11 { // expected-note 2 {{'with_availability_attr<int>' has been marked as being introduced in macOS 10.11 here, but the deployment target is macOS 10.9}}
 208   return 0;
 209 }
 210
 211 int instantiate_with_availability_attr() {
 212   if (@available(macos 10.12, *))
 213     with_availability_attr<char>();
 214   else
 215     with_availability_attr<int>(); // expected-warning {{'with_availability_attr<int>' is only available on macOS 10.11 or newer}} expected-note {{enclose}}
 216 }
 217
 218 int instantiate_availability() {
 219   if (@available(macOS 10.12, *))
 220     with_availability_attr<int_10_12>();
 221   else
 222     with_availability_attr<int_10_12>(); // expected-warning{{'with_availability_attr<int>' is only available on macOS 10.11 or newer}} expected-warning{{'int_10_12' is only available on macOS 10.12 or newer}} expected-note 2 {{enclose}}
 223 }
 224
 225 auto topLevelLambda = [] () {
 226   func_10_12(); // expected-warning{{'func_10_12' is only available on macOS 10.12 or newer}} expected-note{{@available}}
 227   if (@available(macos 10.12, *))
 228     func_10_12();
 229 };
 230
 231 void functionInFunction() {
 232   func_10_12(); // expected-warning{{'func_10_12' is only available on macOS 10.12 or newer}} expected-note{{@available}}
 233   struct DontWarnTwice {
 234     void f() {
 235       func_10_12(); // expected-warning{{'func_10_12' is only available on macOS 10.12 or newer}} expected-note{{@available}}
 236     }
 237   };
 238   void([] () {
 239     func_10_12(); // expected-warning{{'func_10_12' is only available on macOS 10.12 or newer}} expected-note{{@available}}
 240   });
 241   (void)(^ {
 242     func_10_12(); // expected-warning{{'func_10_12' is only available on macOS 10.12 or newer}} expected-note{{@available}}
 243   });
 244
 245   if (@available(macos 10.12, *)) {
 246     void([]() {
 247       func_10_12();
 248       void([] () {
 249         func_10_12();
 250       });
 251       struct DontWarn {
 252         void f() {
 253           func_10_12();
 254         }
 255       };
 256     });
 257   }
 258
 259   if (@available(macos 10.12, *)) {
 260     struct DontWarn {
 261       void f() {
 262         func_10_12();
 263         void([] () {
 264           func_10_12();
 265         });
 266         struct DontWarn2 {
 267           void f() {
 268             func_10_12();
 269           }
 270         };
 271       }
 272     };
 273   }
 274 }
 275
 276 #endif
 277
 278 struct InStruct { // expected-note{{annotate 'InStruct' with an availability attribute to silence}}
 279   new_int mem; // expected-warning{{'new_int' is only available on macOS 10.12 or newer}}
 280
 281   struct { new_int mem; } anon; // expected-warning{{'new_int' is only available on macOS 10.12 or newer}} expected-note{{annotate anonymous struct with an availability attribute to silence}}
 282 };
 283
 284 #ifdef OBJCPP
 285 static constexpr int AVAILABLE_10_12 SomeConstexprValue = 2; // expected-note{{'SomeConstexprValue' has been marked as being introduced in macOS 10.12 here, but the deployment target is macOS 10.9}}
 286 typedef enum { // expected-note{{annotate anonymous enum with an availability attribute}}
 287   SomeValue = SomeConstexprValue // expected-warning{{'SomeConstexprValue' is only available on macOS 10.12 or newer}}
 288 } SomeEnum;
 289 #endif
 290
 291 @interface InInterface
 292 -(new_int)meth; // expected-warning{{'new_int' is only available on macOS 10.12 or newer}} expected-note{{annotate 'meth' with an availability attribute}}
 293 @end
 294
 295 @interface Proper // expected-note{{annotate 'Proper' with an availability attribute}}
 296 @property (class) new_int x; // expected-warning{{'new_int' is only available}}
 297 @end
 298
 299 void with_local_struct(void) {
 300   struct local {
 301     new_int x; // expected-warning{{'new_int' is only available}} expected-note{{enclose 'new_int' in an @available check}}
 302   };
 303   if (@available(macos 10.12, *)) {
 304     struct DontWarn {
 305       new_int x;
 306     };
 307   }
 308 }
 309
 310 // Avoid the warning on protocol requirements.
 311
 312 AVAILABLE_10_12
 313 @protocol NewProtocol // expected-note {{'NewProtocol' has been marked as being introduced in macOS 10.12 here, but the deployment target is macOS 10.9}}
 314 @end
 315
 316 @protocol ProtocolWithNewProtocolRequirement <NewProtocol> // expected-note {{annotate 'ProtocolWithNewProtocolRequirement' with an availability attribute to silence}}
 317
 318 @property(copy) id<NewProtocol> prop; // expected-warning {{'NewProtocol' is only available on macOS 10.12 or newer}}
 319
 320 @end
 321
 322 @interface BaseClass
 323 @end
 324
 325 @interface ClassWithNewProtocolRequirement : BaseClass <NewProtocol>
 326
 327 @end
 328
 329 @interface BaseClass (CategoryWithNewProtocolRequirement) <NewProtocol>
 330
 331 @end
 332
 333 typedef enum {
 334   AK_Dodo __attribute__((availability(macos, deprecated=10.3))), // expected-note 3 {{marked deprecated here}}
 335   AK_Cat __attribute__((availability(macos, introduced=10.4))),
 336   AK_CyborgCat __attribute__((availability(macos, introduced=10.12))), // expected-note {{'AK_CyborgCat' has been marked as being introduced in macOS 10.12 here, but the deployment target is macOS 10.9}}
 337 } Animals;
 338
 339 void switchAnimals(Animals a) {
 340   switch (a) {
 341   case AK_Dodo: break; // expected-warning{{'AK_Dodo' is deprecated}}
 342   case AK_Cat: break;
 343   case AK_Cat|AK_CyborgCat: break; // expected-warning{{case value not in enum}}
 344   case AK_CyborgCat: break; // no warn
 345   }
 346
 347   switch (a) {
 348   case AK_Dodo...AK_CyborgCat: // expected-warning {{'AK_Dodo' is depr}}
 349     break;
 350   }
 351
 352   (void)AK_Dodo; // expected-warning{{'AK_Dodo' is deprecated}}
 353   (void)AK_Cat; // no warning
 354   (void)AK_CyborgCat; // expected-warning{{'AK_CyborgCat' is only available on macOS 10.12 or newer}} expected-note {{@available}}
 355 }
 356
 357
 358 // test static initializers has the same availability as the deployment target and it cannot be overwritten.
 359 @interface HasStaticInitializer : BaseClass
 360 + (void)load AVAILABLE_10_11; // expected-warning{{ignoring availability attribute on '+load' method}}
 361 @end
 362
 363 @implementation HasStaticInitializer
 364 + (void)load {
 365   func_10_11(); // expected-warning{{'func_10_11' is only available on macOS 10.11 or newer}} expected-note{{enclose 'func_10_11' in an @available check to silence this warning}}
 366 }
 367 @end
 368
 369 // test availability from interface is ignored when checking the unguarded availability in +load method.
 370 AVAILABLE_10_11
 371 @interface HasStaticInitializer1 : BaseClass
 372 + (void)load;
 373 + (void)load: (int)x; // no warning.
 374 @end
 375
 376 @implementation HasStaticInitializer1
 377 + (void)load {
 378   func_10_11(); // expected-warning{{'func_10_11' is only available on macOS 10.11 or newer}} expected-note{{enclose 'func_10_11' in an @available check to silence this warning}}
 379 }
 380 + (void)load: (int)x {
 381   func_10_11(); // no warning.
 382 }
 383 @end
 384
 385 __attribute__((constructor))
 386 void is_constructor(void);
 387
 388 AVAILABLE_10_11 // expected-warning{{ignoring availability attribute with constructor attribute}}
 389 void is_constructor(void) {
 390   func_10_11(); // expected-warning{{'func_10_11' is only available on macOS 10.11 or newer}} expected-note{{enclose 'func_10_11' in an @available check to silence this warning}}
 391 }
 392
 393 AVAILABLE_10_11 // expected-warning{{ignoring availability attribute with destructor attribute}}
 394 __attribute__((destructor))
 395 void is_destructor(void) {
 396   func_10_11(); // expected-warning{{'func_10_11' is only available on macOS 10.11 or newer}} expected-note{{enclose 'func_10_11' in an @available check to silence this warning}}
 397 }