47 lines · plain
1// RUN: rm -rf %t && mkdir -p %t2// 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 -verify3 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_07 8#import <SomeKit/SomeKit.h>9 10int main() {11 A *a;12 13#if SWIFT_VERSION_3_014 float *fp = // expected-error{{incompatible pointer types initializing 'float *' with an expression of type 'A * _Nullable'}}15 [a transform: 0 integer: 0];16#else17 float *fp = // expected-error{{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#endif20 21 [a setNonnullAInstance: 0]; // expected-warning{{null passed to a callee that requires a non-null argument}}22 [A setNonnullAInstance: 0]; // no warning23 a.nonnullAInstance = 0; // expected-warning{{null passed to a callee that requires a non-null argument}}24 A* _Nonnull aPtr = a.nonnullAInstance; // no warning25 26 [a setNonnullAClass: 0]; // no warning27 [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_035 // Version 3 information overrides header information.36 [a setExplicitNonnullInstance: 0]; // okay37 [a setExplicitNullableInstance: 0]; // expected-warning{{null passed to a callee that requires a non-null argument}}38#else39 // 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]; // okay42#endif43 44 return 0;45}46 47