llvm-project

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

47