clang/test/APINotes/nullability.m

   1 // RUN: rm -rf %t && mkdir -p %t
   2 // RUN: %clang_cc1 -fmodules -fimplicit-module-maps -fmodules-cache-path=%t/ModulesCache -fapinotes-modules -Wno-private-module -fsyntax-only -I %S/Inputs/Headers -F %S/Inputs/Frameworks %s -verify
   3
   4 // Test with Swift version 3.0. This should only affect the few APIs that have an entry in the 3.0 tables.
   5
   6 // RUN: %clang_cc1 -fmodules -fimplicit-module-maps -fmodules-cache-path=%t/ModulesCache -fapinotes-modules -Wno-private-module -fapinotes-swift-version=3.0 -fsyntax-only -I %S/Inputs/Headers -F %S/Inputs/Frameworks %s -verify -DSWIFT_VERSION_3_0 -fmodules-ignore-macro=SWIFT_VERSION_3_0
   7
   8 #import <SomeKit/SomeKit.h>
   9
  10 int main() {
  11   A *a;
  12
  13 #if SWIFT_VERSION_3_0
  14   float *fp =  // expected-warning{{incompatible pointer types initializing 'float *' with an expression of type 'A * _Nullable'}}
  15     [a transform: 0 integer: 0];
  16 #else
  17   float *fp =  // expected-warning{{incompatible pointer types initializing 'float *' with an expression of type 'A *'}}
  18     [a transform: 0 integer: 0]; // expected-warning{{null passed to a callee that requires a non-null argument}}
  19 #endif
  20
  21   [a setNonnullAInstance: 0]; // expected-warning{{null passed to a callee that requires a non-null argument}}
  22   [A setNonnullAInstance: 0]; // no warning
  23   a.nonnullAInstance = 0; // expected-warning{{null passed to a callee that requires a non-null argument}}
  24   A* _Nonnull aPtr = a.nonnullAInstance; // no warning
  25
  26   [a setNonnullAClass: 0]; // no warning
  27   [A setNonnullAClass: 0]; // expected-warning{{null passed to a callee that requires a non-null argument}}
  28
  29   [a setNonnullABoth: 0]; // expected-warning{{null passed to a callee that requires a non-null argument}}
  30   [A setNonnullABoth: 0]; // expected-warning{{null passed to a callee that requires a non-null argument}}
  31
  32   [a setInternalProperty: 0]; // expected-warning{{null passed to a callee that requires a non-null argument}}
  33
  34 #if SWIFT_VERSION_3_0
  35   // Version 3 information overrides header information.
  36   [a setExplicitNonnullInstance: 0]; //  okay
  37   [a setExplicitNullableInstance: 0]; // expected-warning{{null passed to a callee that requires a non-null argument}}
  38 #else
  39   // Header information overrides unversioned information.
  40   [a setExplicitNonnullInstance: 0]; // expected-warning{{null passed to a callee that requires a non-null argument}}
  41   [a setExplicitNullableInstance: 0]; // okay
  42 #endif
  43
  44   return 0;
  45 }
  46