| /external/clang/test/SemaObjCXX/ |
| D | nullability-consistency.mm | 1 // RUN: %clang_cc1 -fsyntax-only -fblocks -I %S/Inputs -isystem %S/Inputs/nullability-consistency-s…
2 // RUN: %clang_cc1 -fsyntax-only -fblocks -I %S/Inputs -isystem %S/Inputs/nullability-consistency-s…
4 #include "nullability-consistency-1.h"
5 #include "nullability-consistency-3.h"
6 #include "nullability-consistency-4.h"
7 #include "nullability-consistency-5.h"
8 #include "nullability-consistency-5.h"
9 #include "nullability-consistency-6.h"
10 #include "nullability-consistency-7.h"
11 #include "nullability-consistency-8.h"
[all …]
|
| D | nullability-pragmas.mm | 3 #include "nullability-pragmas-1.h"
4 #include "nullability-pragmas-2.h"
5 #include "nullability-pragmas-generics-1.h"
16 f1(0); // okay: no nullability annotations
|
| /external/clang/test/SemaObjC/ |
| D | nullability.m | 1 // RUN: %clang_cc1 -fsyntax-only -fblocks -Woverriding-method-mismatch -Wno-nullability-declspec %s…
17 // Conflicts from nullability moving into Objective-C pointer type.
32 // Context-sensitive keywords and property attributes for nullability.
37 - (nonnull NSFoo **)invalidMethod1; // expected-error{{nullability keyword 'nonnull' cannot be appl…
38 // expected-note@-1{{use nullability type specifier '_Nonnull' to affect the innermost pointer type…
39 - (nonnull NSFoo * _Nullable)conflictingMethod1; // expected-error{{nullability specifier '_Nullabl…
40 - (nonnull NSFoo * _Nonnull)redundantMethod1; // expected-warning{{duplicate nullability specifier …
43 @property(nullable,assign) NSFoo ** invalidProperty1; // expected-error{{nullability keyword 'nulla…
44 // expected-note@-1{{use nullability type specifier '_Nullable' to affect the innermost pointer typ…
45 …ied,retain) NSFoo * _Nullable conflictingProperty1; // expected-error{{nullability specifier '_Nul…
[all …]
|
| D | override-nullability.m | 12 - (nullable id)bad:(nonnull id)obj; // expected-warning {{conflicting nullability specifier on retu…
13 …// expected-warning {{conflicting nullability specifier on parameter types, 'nonnull' conflicts wi…
|
| D | nullability-arc.m | 7 // ARC qualifiers stacked with nullability.
|
| D | block-omitted-return-type.m | 16 …void (^simpleBlock2)() = ^ _Nonnull void { //expected-error {{nullability specifier '_Nonnull' can…
|
| D | parameterized_classes_subst.m | 117 …error{{type parameter 'ViewType' bound 'NSView * _Nullable' cannot explicitly specify nullability}}
134 …ullControl2; // expected-error{{type argument 'NSControl *' cannot explicitly specify nullability}}
|
| /external/clang/docs/analyzer/ |
| D | nullability.rst | 48 …t warn about any nullability issues in that branch? Probably not, it is ok to break the nullabilit…
57 …- If the pointer is not assumed to be nil, we should be optimistic and use the nullability implied…
73 …nullability information from the arguments after inlining is not robust enough (for example there …
78 …nullability qualifiers would be needed to be tracked for each symbol. This is not a big caveat, si…
91 - Unannotated pointers are treated the same way as pointers annotated with nullability unspecified …
92 … a callback for entry points to top level functions, where the pointer nullability assumptions wou…
|
| /external/clang/test/Analysis/ |
| D | nullability_nullonly.mm | 1 … %clang_cc1 -analyze -fobjc-arc -analyzer-checker=core,nullability.NullPassedToNonnull,nullability…
2 …-arc -analyzer-checker=core,nullability.NullPassedToNonnull,nullability.NullReturnedFromNonnull -a…
4 #include "Inputs/system-header-simulator-for-nullability.h"
|
| D | nullability.mm | 1 // RUN: %clang_cc1 -fblocks -analyze -analyzer-checker=core,nullability -DNOSYSTEMHEADERS=0 -verify…
2 …UN: %clang_cc1 -fblocks -analyze -analyzer-checker=core,nullability -analyzer-config nullability:N…
4 #include "Inputs/system-header-simulator-for-nullability.h"
489 // Test to make sure the analyzer doesn't warn when an a nullability invariant
|
| D | nullability-no-arc.mm | 1 // RUN: %clang_cc1 -analyze -analyzer-checker=core,nullability -verify %s
|
| /external/clang/test/Parser/ |
| D | nullability.c | 10 #if !__has_feature(nullability)
14 #if !__has_extension(nullability)
|
| /external/clang/test/Sema/ |
| D | non-null-warning.c | 4 #if __has_feature(nullability)
6 # error nullability feature should be defined
|
| D | nullability.c | 3 #if __has_feature(nullability)
5 # error nullability feature should be defined
|
| /external/clang/test/SemaCXX/ |
| D | nullability.cpp | 3 #if __has_feature(nullability)
5 # error nullability feature should be defined
|
| /external/clang/include/clang/Basic/ |
| D | DiagnosticCommonKinds.td | 109 "duplicate nullability specifier %0">,
113 "conflicting nullability specifier on return types, %0 "
118 "conflicting nullability specifier on parameter types, %0 "
123 "nullability specifier %0 conflicts with existing specifier %1">;
|
| D | AttrDocs.td | 1853 …nullability attributes indicate whether a particular pointer can be null or not, which makes APIs …
1855 …nullability (type) qualifiers express whether a value of a given pointer type can be null (the ``_…
1870 In Objective-C, there is an alternate spelling for the nullability qualifiers that can be used in O…
1885 The ``_Nonnull`` nullability qualifier indicates that null is not a meaningful value for a value of…
1898 The ``_Nullable`` nullability qualifier indicates that a value of the ``_Nullable`` pointer type ca…
1911 …nullability qualifier indicates that neither the ``_Nonnull`` nor ``_Nullable`` qualifiers make se…
|
| D | DiagnosticGroups.td | 275 def Nullability : DiagGroup<"nullability">;
276 def NullabilityDeclSpec : DiagGroup<"nullability-declspec">;
278 def NullabilityCompleteness : DiagGroup<"nullability-completeness">;
|
| /external/clang/lib/Basic/ |
| D | Diagnostic.cpp | 28 DiagNullabilityKind nullability) { in operator <<() argument
30 switch (nullability.first) { in operator <<()
32 string = nullability.second ? "'nonnull'" : "'_Nonnull'"; in operator <<()
36 string = nullability.second ? "'nullable'" : "'_Nullable'"; in operator <<()
40 string = nullability.second ? "'null_unspecified'" : "'_Null_unspecified'"; in operator <<()
|
| /external/clang/lib/AST/ |
| D | DeclPrinter.cpp | 1015 if (auto nullability = AttributedType::stripOuterNullability(T)) in PrintObjCMethodType() local
1016 Out << getNullabilitySpelling(*nullability, true) << ' '; in PrintObjCMethodType()
1306 if (auto nullability = AttributedType::stripOuterNullability(T)) { in VisitObjCPropertyDecl() local
1307 if (*nullability == NullabilityKind::Unspecified && in VisitObjCPropertyDecl()
1313 << getNullabilitySpelling(*nullability, true); in VisitObjCPropertyDecl()
|
| D | ASTDiagnostic.cpp | 76 if (auto nullability = AttributedType::stripOuterNullability(SugarRT)) { in Desugar() local
78 AttributedType::getNullabilityAttrKind(*nullability), RT, RT); in Desugar()
87 if (auto nullability = in Desugar() local
90 AttributedType::getNullabilityAttrKind(*nullability), PT, PT); in Desugar()
|
| /external/clang/lib/Sema/ |
| D | SemaType.cpp | 3218 IdentifierInfo *Sema::getNullabilityKeyword(NullabilityKind nullability) { in getNullabilityKeyword() argument
3219 switch (nullability) { in getNullabilityKeyword()
5812 NullabilityKind nullability, in checkNullabilityTypeSpecifier() argument
5838 if (nullability == *existingNullability) { in checkNullabilityTypeSpecifier()
5840 << DiagNullabilityKind(nullability, isContextSensitive) in checkNullabilityTypeSpecifier()
5848 << DiagNullabilityKind(nullability, isContextSensitive) in checkNullabilityTypeSpecifier()
5861 if (nullability != *existingNullability) { in checkNullabilityTypeSpecifier()
5863 << DiagNullabilityKind(nullability, isContextSensitive) in checkNullabilityTypeSpecifier()
5886 << DiagNullabilityKind(nullability, isContextSensitive) << type; in checkNullabilityTypeSpecifier()
5899 << DiagNullabilityKind(nullability, true) in checkNullabilityTypeSpecifier()
[all …]
|
| D | SemaObjCProperty.cpp | 2217 if (auto nullability = AttributedType::stripOuterNullability(modifiedTy)) { in ProcessPropertyDecl() local
2218 if (*nullability == NullabilityKind::Unspecified) in ProcessPropertyDecl()
2291 if (auto nullability = AttributedType::stripOuterNullability(modifiedTy)){ in ProcessPropertyDecl() local
2292 if (*nullability == NullabilityKind::Unspecified) in ProcessPropertyDecl()
2471 if (auto nullability = PropertyTy->getNullability(Context)) { in CheckObjCPropertyAttributes() local
2472 if (*nullability == NullabilityKind::NonNull) in CheckObjCPropertyAttributes()
|
| D | SemaExprObjC.cpp | 1253 if (auto nullability = AttributedType::stripOuterNullability(T)) { in stripObjCInstanceType() local
1256 AttributedType::getNullabilityAttrKind(*nullability), in stripObjCInstanceType()
1290 if (auto nullability = Method->getSendResultType(ReceiverType) in getBaseMessageSendResultType() local
1297 AttributedType::getNullabilityAttrKind(*nullability), in getBaseMessageSendResultType()
1356 if (auto nullability = ReceiverType->getNullability(Context)) in getMessageSendResultType() local
1357 receiverNullabilityIdx = 1 + static_cast<unsigned>(*nullability); in getMessageSendResultType()
1360 if (auto nullability = resultType->getNullability(Context)) in getMessageSendResultType() local
1361 resultNullabilityIdx = 1 + static_cast<unsigned>(*nullability); in getMessageSendResultType()
|
| /external/clang/lib/Parse/ |
| D | ParseObjc.cpp | 395 NullabilityKind nullability, in addContextSensitiveTypeNullability() argument
401 P.getNullabilityKeyword(nullability), in addContextSensitiveTypeNullability()
817 NullabilityKind nullability, in diagnoseRedundantPropertyNullability() argument
819 if (DS.getNullability() == nullability) { in diagnoseRedundantPropertyNullability()
821 << DiagNullabilityKind(nullability, true) in diagnoseRedundantPropertyNullability()
827 << DiagNullabilityKind(nullability, true) in diagnoseRedundantPropertyNullability()
|