Home
last modified time | relevance | path

Searched refs:nullability (Results 1 – 25 of 26) sorted by relevance

12

/freebsd-12.1/contrib/llvm/tools/clang/include/clang/Basic/
H A DSanitizers.def83 SANITIZER("nullability-arg", NullabilityArg)
84 SANITIZER("nullability-assign", NullabilityAssign)
85 SANITIZER("nullability-return", NullabilityReturn)
86 SANITIZER_GROUP("nullability", Nullability,
H A DDiagnosticCommonKinds.td116 "duplicate nullability specifier %0">,
120 "conflicting nullability specifier on return types, %0 "
125 "conflicting nullability specifier on parameter types, %0 "
130 "nullability specifier %0 conflicts with existing specifier %1">;
H A DDiagnosticGroups.td357 def Nullability : DiagGroup<"nullability">;
358 def NullabilityDeclSpec : DiagGroup<"nullability-declspec">;
359 def NullabilityInferredOnNestedType : DiagGroup<"nullability-inferred-on-nested-type">;
361 def NullabilityCompletenessOnArrays : DiagGroup<"nullability-completeness-on-arrays">;
362 def NullabilityCompleteness : DiagGroup<"nullability-completeness",
H A DFeatures.def83 FEATURE(nullability, true)
H A DDiagnostic.h1293 DiagNullabilityKind nullability);
H A DAttrDocs.td2857 …nullability attributes indicate whether a particular pointer can be null or not, which makes APIs …
2859 …nullability (type) qualifiers express whether a value of a given pointer type can be null (the ``_…
2874 In Objective-C, there is an alternate spelling for the nullability qualifiers that can be used in O…
2889 The ``_Nonnull`` nullability qualifier indicates that null is not a meaningful value for a value of…
2902 The ``_Nullable`` nullability qualifier indicates that a value of the ``_Nullable`` pointer type ca…
2915 …nullability qualifier indicates that neither the ``_Nonnull`` nor ``_Nullable`` qualifiers make se…
H A DDiagnosticParseKinds.td68 "type nullability specifier %0 is a Clang extension">,
69 InGroup<DiagGroup<"nullability-extension">>;
H A DTokenKinds.def614 // Type nullability.
H A DDiagnosticSemaKinds.td9277 "nullability specifier %0 conflicts with existing specifier %1">,
9281 "nullability specifier %0 cannot be applied "
9291 "nullability specifier %0 cannot be applied to non-pointer type %1">;
9302 "nullability keyword %0 cannot be applied to multi-level pointer type %1">;
9304 "use nullability type specifier %0 to affect the innermost "
9312 "%select{pointer|block pointer|member pointer}0 is missing a nullability "
9316 "array parameter is missing a nullability type specifier (_Nonnull, "
9322 "%select{should never be null|may be null|should not declare nullability}0">;
9330 "type argument %0 cannot explicitly specify nullability">;
9333 "type parameter %0 bound %1 cannot explicitly specify nullability">;
/freebsd-12.1/contrib/llvm/tools/clang/lib/Basic/
H A DDiagnostic.cpp45 DiagNullabilityKind nullability) { in operator <<() argument
47 switch (nullability.first) { in operator <<()
49 string = nullability.second ? "'nonnull'" : "'_Nonnull'"; in operator <<()
53 string = nullability.second ? "'nullable'" : "'_Nullable'"; in operator <<()
57 string = nullability.second ? "'null_unspecified'" : "'_Null_unspecified'"; in operator <<()
/freebsd-12.1/contrib/llvm/tools/clang/lib/AST/
H A DDeclPrinter.cpp1167 if (auto nullability = AttributedType::stripOuterNullability(T)) in PrintObjCMethodType() local
1168 Out << getNullabilitySpelling(*nullability, true) << ' '; in PrintObjCMethodType()
1460 if (auto nullability = AttributedType::stripOuterNullability(T)) { in VisitObjCPropertyDecl() local
1461 if (*nullability == NullabilityKind::Unspecified && in VisitObjCPropertyDecl()
1467 << getNullabilitySpelling(*nullability, true); in VisitObjCPropertyDecl()
H A DASTDiagnostic.cpp75 if (auto nullability = AttributedType::stripOuterNullability(SugarRT)) { in Desugar() local
77 AttributedType::getNullabilityAttrKind(*nullability), RT, RT); in Desugar()
86 if (auto nullability = in Desugar() local
89 AttributedType::getNullabilityAttrKind(*nullability), PT, PT); in Desugar()
H A DType.cpp3835 if (auto nullability = attributed->getImmediateNullability()) { in stripOuterNullability() local
3837 return nullability; in stripOuterNullability()
/freebsd-12.1/contrib/llvm/tools/clang/lib/Sema/
H A DSemaObjCProperty.cpp2385 if (auto nullability = AttributedType::stripOuterNullability(modifiedTy)) { in ProcessPropertyDecl() local
2386 if (*nullability == NullabilityKind::Unspecified) in ProcessPropertyDecl()
2459 if (auto nullability = AttributedType::stripOuterNullability(modifiedTy)){ in ProcessPropertyDecl() local
2460 if (*nullability == NullabilityKind::Unspecified) in ProcessPropertyDecl()
2647 if (auto nullability = PropertyTy->getNullability(Context)) { in CheckObjCPropertyAttributes() local
2648 if (*nullability == NullabilityKind::NonNull) in CheckObjCPropertyAttributes()
H A DSemaType.cpp3469 switch (nullability) { in getNullabilityKeyword()
6458 if (nullability == *existingNullability) { in checkNullabilityTypeSpecifier()
6460 << DiagNullabilityKind(nullability, isContextSensitive) in checkNullabilityTypeSpecifier()
6468 << DiagNullabilityKind(nullability, isContextSensitive) in checkNullabilityTypeSpecifier()
6481 if (nullability != *existingNullability) { in checkNullabilityTypeSpecifier()
6483 << DiagNullabilityKind(nullability, isContextSensitive) in checkNullabilityTypeSpecifier()
6507 << DiagNullabilityKind(nullability, isContextSensitive) << type; in checkNullabilityTypeSpecifier()
6525 << DiagNullabilityKind(nullability, true) in checkNullabilityTypeSpecifier()
6528 << DiagNullabilityKind(nullability, false) in checkNullabilityTypeSpecifier()
6579 if (auto nullability = type->getNullability(S.Context)) { in checkObjCKindOfType() local
[all …]
H A DSemaExprObjC.cpp1262 if (auto nullability = AttributedType::stripOuterNullability(T)) { in stripObjCInstanceType() local
1265 AttributedType::getNullabilityAttrKind(*nullability), in stripObjCInstanceType()
1299 if (auto nullability = Method->getSendResultType(ReceiverType) in getBaseMessageSendResultType() local
1306 AttributedType::getNullabilityAttrKind(*nullability), in getBaseMessageSendResultType()
1396 if (auto nullability = ReceiverType->getNullability(Context)) in getMessageSendResultType() local
1397 receiverNullabilityIdx = 1 + static_cast<unsigned>(*nullability); in getMessageSendResultType()
1400 if (auto nullability = resultType->getNullability(Context)) in getMessageSendResultType() local
1401 resultNullabilityIdx = 1 + static_cast<unsigned>(*nullability); in getMessageSendResultType()
H A DSemaDeclObjC.cpp4407 auto nullability = type->getNullability(S.Context); in mergeTypeNullabilityForRedecl() local
4411 if (nullability.hasValue() == prevNullability.hasValue()) { in mergeTypeNullabilityForRedecl()
4413 if (!nullability) in mergeTypeNullabilityForRedecl()
4417 if (*nullability == *prevNullability) in mergeTypeNullabilityForRedecl()
4422 << DiagNullabilityKind(*nullability, usesCSKeyword) in mergeTypeNullabilityForRedecl()
4428 if (nullability) in mergeTypeNullabilityForRedecl()
H A DSemaChecking.cpp3950 if (auto nullability in CheckNonNullExpr() local
3952 if (*nullability == NullabilityKind::NonNull) in CheckNonNullExpr()
4035 if (auto nullability = type->getNullability(ctx)) in isNonNullType() local
4036 return *nullability == NullabilityKind::NonNull; in isNonNullType()
H A DSemaCodeComplete.cpp2336 if (auto nullability = AttributedType::stripOuterNullability(Type)) { in formatObjCParamQualifiers() local
2337 switch (*nullability) { in formatObjCParamQualifiers()
H A DTreeTransform.h6121 if (auto nullability = oldType->getImmediateNullability()) { in TransformAttributedType() local
6125 << DiagNullabilityKind(*nullability, false) << modifiedType; in TransformAttributedType()
/freebsd-12.1/contrib/llvm/tools/clang/lib/Parse/
H A DParseObjc.cpp374 NullabilityKind nullability, in addContextSensitiveTypeNullability() argument
379 return Pool.create(P.getNullabilityKeyword(nullability), in addContextSensitiveTypeNullability()
792 NullabilityKind nullability, in diagnoseRedundantPropertyNullability() argument
794 if (DS.getNullability() == nullability) { in diagnoseRedundantPropertyNullability()
796 << DiagNullabilityKind(nullability, true) in diagnoseRedundantPropertyNullability()
802 << DiagNullabilityKind(nullability, true) in diagnoseRedundantPropertyNullability()
/freebsd-12.1/sys/sys/
H A Dcdefs.h792 #if !(defined(__clang__) && __has_feature(nullability))
/freebsd-12.1/contrib/llvm/tools/clang/include/clang/StaticAnalyzer/Checkers/
H A DCheckers.td46 def Nullability : Package<"nullability">;
234 } // end "nullability"
/freebsd-12.1/contrib/llvm/tools/clang/include/clang/Parse/
H A DParser.h464 IdentifierInfo *getNullabilityKeyword(NullabilityKind nullability) { in getNullabilityKeyword() argument
465 return Actions.getNullabilityKeyword(nullability); in getNullabilityKeyword()
/freebsd-12.1/contrib/llvm/include/llvm/BinaryFormat/
H A DDwarf.def858 HANDLE_DW_APPLE_PROPERTY(0x1000, nullability)

12