Home
last modified time | relevance | path

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

12

/netbsd-src/external/apache2/llvm/dist/clang/docs/analyzer/developer-docs/
H A Dnullability.rst52 …t warn about any nullability issues in that branch? Probably not, it is ok to break the nullabilit…
66 …* If the pointer is not assumed to be nil, we should be optimistic and use the nullability implied…
85 …nullability information from the arguments after inlining is not robust enough (for example there …
90 …nullability qualifiers would be needed to be tracked for each symbol. This is not a big caveat, si…
106 * Unannotated pointers are treated the same way as pointers annotated with nullability unspecified …
107 … a callback for entry points to top level functions, where the pointer nullability assumptions wou…
/netbsd-src/external/gpl3/gcc/dist/libsanitizer/ubsan/
H A Dubsan_checks.inc22 "nullability-assign")
66 "nullability-return")
69 "nullability-arg")
/netbsd-src/tests/lib/libc/misc/
H A DMakefile22 UBSAN_FLAGS+= ${${ACTIVE_CC} == "clang" :? -fsanitize=nullability :}
27 CWARNFLAGS.clang+= -Wno-nullability-completeness
/netbsd-src/external/apache2/llvm/dist/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.td130 "duplicate nullability specifier %0">,
134 "conflicting nullability specifier on return types, %0 "
139 "conflicting nullability specifier on parameter types, %0 "
144 "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.def86 FEATURE(nullability, true)
H A DDiagnostic.h1506 DiagNullabilityKind nullability);
/netbsd-src/external/apache2/llvm/dist/clang/docs/
H A DUndefinedBehaviorSanitizer.rst124 - ``-fsanitize=nullability-arg``: Passing null as a function parameter
126 - ``-fsanitize=nullability-assign``: Assigning null to an lvalue which
128 - ``-fsanitize=nullability-return``: Returning null from a function with
184 ``implicit-conversion``, ``local-bounds`` and the ``nullability-*`` group
206 - ``-fsanitize=nullability``: Enables ``nullability-arg``,
207 ``nullability-assign``, and ``nullability-return``. While violating
208 nullability does not have undefined behavior, it is often unintentional,
H A DAPINotes.rst208 Used for methods and functions. Describes the nullability of the return type.
215 Due to a compiler bug, 'NullabilityOfRet' may change nullability of the
217 'ResultType' and specify the return type along with a nullability
235 nullability must be applied explicitly (even in an ``NS_ASSUME_NONNULL_BEGIN``
252 nullability must be applied explicitly (even in an ``NS_ASSUME_NONNULL_BEGIN``
/netbsd-src/external/apache2/llvm/dist/clang/docs/analyzer/
H A Ddeveloper-docs.rst12 developer-docs/nullability
H A Dcheckers.rst347 nullability section in Default Checkers
354 nullability.NullPassedToNonnull (ObjC) argument
367 nullability.NullReturnedFromNonnull (ObjC) argument
385 nullability.NullableDereferenced (ObjC) argument
406 nullability.NullablePassedToNonnull (ObjC) argument
423 nullability.NullableReturnedFromNonnull (ObjC) argument
/netbsd-src/external/apache2/llvm/dist/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 <<()
/netbsd-src/external/apache2/llvm/dist/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()
/netbsd-src/external/apache2/llvm/dist/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.cpp79 if (auto nullability = AttributedType::stripOuterNullability(SugarRT)) { in Desugar() local
81 AttributedType::getNullabilityAttrKind(*nullability), RT, RT); in Desugar()
90 if (auto nullability = in Desugar() local
93 AttributedType::getNullabilityAttrKind(*nullability), PT, PT); in Desugar()
/netbsd-src/external/apache2/llvm/dist/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()
1570 receiverNullabilityIdx = 1 + static_cast<unsigned>(*nullability); in getMessageSendResultType()
1574 if (Optional<NullabilityKind> nullability = in getMessageSendResultType() local
1576 if (*nullability == NullabilityKind::NullableResult) in getMessageSendResultType()
[all …]
H A DSemaObjCProperty.cpp2483 if (auto nullability = AttributedType::stripOuterNullability(modifiedTy)) { in ProcessPropertyDecl() local
2484 if (*nullability == NullabilityKind::Unspecified) in ProcessPropertyDecl()
2562 if (auto nullability = AttributedType::stripOuterNullability(modifiedTy)){ in ProcessPropertyDecl() local
2563 if (*nullability == NullabilityKind::Unspecified) in ProcessPropertyDecl()
2761 if (auto nullability = PropertyTy->getNullability(Context)) { in CheckObjCPropertyAttributes() local
2762 if (*nullability == NullabilityKind::NonNull) in CheckObjCPropertyAttributes()
H A DSemaType.cpp3922 IdentifierInfo *Sema::getNullabilityKeyword(NullabilityKind nullability) { in getNullabilityKeyword() argument
3923 switch (nullability) { in getNullabilityKeyword()
7090 NullabilityKind nullability = mapNullabilityAttrKind(attr.getKind()); in checkNullabilityTypeSpecifier() local
7102 if (nullability == *existingNullability) { in checkNullabilityTypeSpecifier()
7104 << DiagNullabilityKind(nullability, isContextSensitive) in checkNullabilityTypeSpecifier()
7112 << DiagNullabilityKind(nullability, isContextSensitive) in checkNullabilityTypeSpecifier()
7125 if (nullability != *existingNullability) { in checkNullabilityTypeSpecifier()
7127 << DiagNullabilityKind(nullability, isContextSensitive) in checkNullabilityTypeSpecifier()
7151 << DiagNullabilityKind(nullability, isContextSensitive) << type; in checkNullabilityTypeSpecifier()
7169 << DiagNullabilityKind(nullability, true) in checkNullabilityTypeSpecifier()
[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()
/netbsd-src/external/apache2/llvm/dist/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"
/netbsd-src/external/apache2/llvm/dist/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()
/netbsd-src/external/apache2/llvm/dist/clang/tools/c-index-test/
H A Dc-index-test.c1541 const char *nullability = 0; in PrintNullabilityKind() local
1544 nullability = "nonnull"; in PrintNullabilityKind()
1547 nullability = "nullable"; in PrintNullabilityKind()
1550 nullability = "nullable_result"; in PrintNullabilityKind()
1553 nullability = "unspecified"; in PrintNullabilityKind()
1559 if (nullability) { in PrintNullabilityKind()
1560 printf(Format, nullability); in PrintNullabilityKind()
/netbsd-src/external/apache2/llvm/dist/clang/tools/libclang/
H A DCXType.cpp1312 if (auto nullability = T->getNullability(Ctx)) { in clang_Type_getNullability() local
1313 switch (*nullability) { in clang_Type_getNullability()
/netbsd-src/usr.bin/xlint/lint1/
H A DREADME.md75 cannot relate parameter nullability with the return value.

12