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 10int 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 47