Home
last modified time | relevance | path

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

12

/freebsd-13.1/contrib/llvm-project/compiler-rt/lib/ubsan/
H A Dubsan_checks.inc22 "nullability-assign")
66 "nullability-return")
69 "nullability-arg")
/freebsd-13.1/contrib/llvm-project/clang/include/clang/Basic/
H A DSanitizers.def91 SANITIZER("nullability-arg", NullabilityArg)
92 SANITIZER("nullability-assign", NullabilityAssign)
93 SANITIZER("nullability-return", NullabilityReturn)
94 SANITIZER_GROUP("nullability", Nullability,
H A DDiagnosticCommonKinds.td132 "duplicate nullability specifier %0">,
136 "conflicting nullability specifier on return types, %0 "
141 "conflicting nullability specifier on parameter types, %0 "
146 "nullability specifier %0 conflicts with existing specifier %1">;
H A DDiagnosticGroups.td471 def Nullability : DiagGroup<"nullability">;
472 def NullabilityDeclSpec : DiagGroup<"nullability-declspec">;
473 def NullabilityInferredOnNestedType : DiagGroup<"nullability-inferred-on-nested-type">;
475 def NullabilityCompletenessOnArrays : DiagGroup<"nullability-completeness-on-arrays">;
476 def NullabilityCompleteness : DiagGroup<"nullability-completeness",
H A DFeatures.def87 FEATURE(nullability, true)
H A DDiagnostic.h1506 DiagNullabilityKind nullability);
H A DAttrDocs.td3577 with pointers in the C family of languages. The various nullability attributes
3580 pointers. Clang supports several kinds of nullability attributes: the
3582 method parameters and result types can never be null, while nullability type
3586 The nullability (type) qualifiers express whether a value of a given pointer
3589 unclear (the ``_Null_unspecified`` qualifier). Because nullability qualifiers
3609 In Objective-C, there is an alternate spelling for the nullability qualifiers
3626 The ``_Nonnull`` nullability qualifier indicates that null is not a meaningful
3646 The ``_Nullable`` nullability qualifier indicates that a value of the
3660 The ``_Nullable_result`` nullability qualifier means that a value of the
3683 The ``_Null_unspecified`` nullability qualifier indicates that neither the
[all …]
H A DTokenKinds.def652 // Type nullability.
H A DDiagnosticParseKinds.td86 "type nullability specifier %0 is a Clang extension">,
87 InGroup<DiagGroup<"nullability-extension">>;
H A DDiagnosticSemaKinds.td11022 "nullability specifier %0 conflicts with existing specifier %1">,
11026 "nullability specifier %0 cannot be applied "
11036 "nullability specifier %0 cannot be applied to non-pointer type %1">;
11047 "nullability keyword %0 cannot be applied to multi-level pointer type %1">;
11049 "use nullability type specifier %0 to affect the innermost "
11057 "%select{pointer|block pointer|member pointer}0 is missing a nullability "
11061 "array parameter is missing a nullability type specifier (_Nonnull, "
11067 "%select{should never be null|may be null|should not declare nullability}0">;
11075 "type argument %0 cannot explicitly specify nullability">;
11078 "type parameter %0 bound %1 cannot explicitly specify nullability">;
/freebsd-13.1/contrib/llvm-project/clang/lib/Basic/
H A DDiagnostic.cpp44 DiagNullabilityKind nullability) { in operator <<() argument
46 switch (nullability.first) { in operator <<()
48 string = nullability.second ? "'nonnull'" : "'_Nonnull'"; in operator <<()
52 string = nullability.second ? "'nullable'" : "'_Nullable'"; in operator <<()
56 string = nullability.second ? "'null_unspecified'" : "'_Null_unspecified'"; in operator <<()
60 assert(!nullability.second && in operator <<()
/freebsd-13.1/tools/build/cross-build/include/common/sys/
H A Dcdefs.h195 #if !(defined(__clang__) && __has_feature(nullability))
/freebsd-13.1/contrib/llvm-project/clang/include/clang/APINotes/
H A DTypes.h580 auto nullability = NullabilityPayload >> (index * NullabilityKindSize); in getTypeInfo() local
581 return static_cast<NullabilityKind>(nullability & NullabilityKindMask); in getTypeInfo()
/freebsd-13.1/contrib/llvm-project/clang/lib/AST/
H A DDeclPrinter.cpp1232 if (auto nullability = AttributedType::stripOuterNullability(T)) in PrintObjCMethodType() local
1233 Out << getNullabilitySpelling(*nullability, true) << ' '; in PrintObjCMethodType()
1556 if (auto nullability = AttributedType::stripOuterNullability(T)) { in VisitObjCPropertyDecl() local
1557 if (*nullability == NullabilityKind::Unspecified && in VisitObjCPropertyDecl()
1563 << getNullabilitySpelling(*nullability, true); in VisitObjCPropertyDecl()
H A DASTDiagnostic.cpp80 if (auto nullability = AttributedType::stripOuterNullability(SugarRT)) { in Desugar() local
82 AttributedType::getNullabilityAttrKind(*nullability), RT, RT); in Desugar()
91 if (auto nullability = in Desugar() local
94 AttributedType::getNullabilityAttrKind(*nullability), PT, PT); in Desugar()
H A DType.cpp4190 if (auto nullability = attributed->getImmediateNullability()) { in stripOuterNullability() local
4192 return nullability; in stripOuterNullability()
/freebsd-13.1/contrib/llvm-project/clang/lib/Sema/
H A DSemaExprObjC.cpp1432 if (auto nullability = AttributedType::stripOuterNullability(T)) { in stripObjCInstanceType() local
1435 AttributedType::getNullabilityAttrKind(*nullability), in stripObjCInstanceType()
1469 if (auto nullability = Method->getSendResultType(ReceiverType) in getBaseMessageSendResultType() local
1476 AttributedType::getNullabilityAttrKind(*nullability), in getBaseMessageSendResultType()
1566 if (Optional<NullabilityKind> nullability = in getMessageSendResultType() local
1568 if (*nullability == NullabilityKind::NullableResult) in getMessageSendResultType()
1569 nullability = NullabilityKind::Nullable; in getMessageSendResultType()
1574 if (Optional<NullabilityKind> nullability = in getMessageSendResultType() local
1576 if (*nullability == NullabilityKind::NullableResult) in getMessageSendResultType()
1577 nullability = NullabilityKind::Nullable; in getMessageSendResultType()
[all …]
H A DSemaObjCProperty.cpp2482 if (auto nullability = AttributedType::stripOuterNullability(modifiedTy)) { in ProcessPropertyDecl() local
2483 if (*nullability == NullabilityKind::Unspecified) in ProcessPropertyDecl()
2561 if (auto nullability = AttributedType::stripOuterNullability(modifiedTy)){ in ProcessPropertyDecl() local
2562 if (*nullability == NullabilityKind::Unspecified) in ProcessPropertyDecl()
2760 if (auto nullability = PropertyTy->getNullability(Context)) { in CheckObjCPropertyAttributes() local
2761 if (*nullability == NullabilityKind::NonNull) in CheckObjCPropertyAttributes()
H A DSemaType.cpp3956 switch (nullability) { in getNullabilityKeyword()
7135 if (nullability == *existingNullability) { in checkNullabilityTypeSpecifier()
7137 << DiagNullabilityKind(nullability, isContextSensitive) in checkNullabilityTypeSpecifier()
7145 << DiagNullabilityKind(nullability, isContextSensitive) in checkNullabilityTypeSpecifier()
7158 if (nullability != *existingNullability) { in checkNullabilityTypeSpecifier()
7160 << DiagNullabilityKind(nullability, isContextSensitive) in checkNullabilityTypeSpecifier()
7184 << DiagNullabilityKind(nullability, isContextSensitive) << type; in checkNullabilityTypeSpecifier()
7202 << DiagNullabilityKind(nullability, true) in checkNullabilityTypeSpecifier()
7205 << DiagNullabilityKind(nullability, false) in checkNullabilityTypeSpecifier()
7256 if (auto nullability = type->getNullability(S.Context)) { in checkObjCKindOfType() local
[all …]
H A DSemaDeclObjC.cpp4528 auto nullability = type->getNullability(S.Context); in mergeTypeNullabilityForRedecl() local
4532 if (nullability.hasValue() == prevNullability.hasValue()) { in mergeTypeNullabilityForRedecl()
4534 if (!nullability) in mergeTypeNullabilityForRedecl()
4538 if (*nullability == *prevNullability) in mergeTypeNullabilityForRedecl()
4543 << DiagNullabilityKind(*nullability, usesCSKeyword) in mergeTypeNullabilityForRedecl()
4549 if (nullability) in mergeTypeNullabilityForRedecl()
/freebsd-13.1/contrib/llvm-project/clang/include/clang/StaticAnalyzer/Checkers/
H A DCheckers.td45 def Nullability : Package<"nullability">,
49 "Suppresses warnings for violating nullability annotations "
51 "concerned with your custom nullability annotations more "
52 "than with following nullability specifications of system "
131 "nullability of the implicit this parameter after a method call, "
309 HelpText<"Stores information during the analysis about nullability.">,
342 } // end "nullability"
/freebsd-13.1/contrib/llvm-project/clang/lib/Parse/
H A DParseObjc.cpp374 NullabilityKind nullability, in addContextSensitiveTypeNullability() argument
379 return Pool.create(P.getNullabilityKeyword(nullability), in addContextSensitiveTypeNullability()
805 NullabilityKind nullability, in diagnoseRedundantPropertyNullability() argument
807 if (DS.getNullability() == nullability) { in diagnoseRedundantPropertyNullability()
809 << DiagNullabilityKind(nullability, true) in diagnoseRedundantPropertyNullability()
815 << DiagNullabilityKind(nullability, true) in diagnoseRedundantPropertyNullability()
/freebsd-13.1/sys/sys/
H A Dcdefs.h789 #if !(defined(__clang__) && __has_feature(nullability))
/freebsd-13.1/contrib/llvm-project/clang/include/clang/Parse/
H A DParser.h533 IdentifierInfo *getNullabilityKeyword(NullabilityKind nullability) { in getNullabilityKeyword() argument
534 return Actions.getNullabilityKeyword(nullability); in getNullabilityKeyword()
/freebsd-13.1/contrib/llvm-project/llvm/include/llvm/BinaryFormat/
H A DDwarf.def1137 HANDLE_DW_APPLE_PROPERTY(0x1000, nullability)

12