| /freebsd-12.1/contrib/llvm/tools/clang/lib/StaticAnalyzer/Checkers/ |
| H A D | NullabilityChecker.cpp | 50 Nullability getMostNullable(Nullability Lhs, Nullability Rhs) { in getMostNullable()
51 return static_cast<Nullability>( in getMostNullable()
57 case Nullability::Contradicted: in getNullabilityString()
59 case Nullability::Nullable: in getNullabilityString()
61 case Nullability::Unspecified: in getNullabilityString()
63 case Nullability::Nonnull: in getNullabilityString()
217 Nullability Nullab;
792 return Nullability::Nonnull; in getReceiverNullability()
894 Nullability ComputedNullab = in checkPostObjCMessage()
1077 Nullability ValNullability = Nullability::Unspecified; in checkBind()
[all …]
|
| H A D | TrustNonnullChecker.cpp | 163 if (getNullabilityAnnotation(ExprRetType) == Nullability::Nonnull) in isNonNullPtr()
179 if (getNullabilityAnnotation(DeclRetType) != Nullability::Nonnull) in isNonNullPtr()
|
| /freebsd-12.1/contrib/llvm/tools/clang/lib/StaticAnalyzer/Core/ |
| H A D | CheckerHelpers.cpp | 102 Nullability getNullabilityAnnotation(QualType Type) { in getNullabilityAnnotation()
105 return Nullability::Unspecified; in getNullabilityAnnotation()
107 return Nullability::Nullable; in getNullabilityAnnotation()
109 return Nullability::Nonnull; in getNullabilityAnnotation()
110 return Nullability::Unspecified; in getNullabilityAnnotation()
|
| /freebsd-12.1/contrib/llvm/tools/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| H A D | CheckerHelpers.h | 53 enum class Nullability : char { enum
64 Nullability getNullabilityAnnotation(QualType Type);
|
| /freebsd-12.1/contrib/llvm/tools/clang/include/clang/Basic/ |
| H A D | Sanitizers.h | 87 SanitizerKind::ImplicitConversion | SanitizerKind::Nullability | in getPPTransparentSanitizers()
|
| H A D | DiagnosticCommonKinds.td | 113 let CategoryName = "Nullability Issue" in {
117 InGroup<Nullability>;
122 InGroup<Nullability>;
127 InGroup<Nullability>;
|
| H A D | Sanitizers.def | 86 SANITIZER_GROUP("nullability", Nullability,
|
| H A D | DiagnosticLexKinds.td | 777 let CategoryName = "Nullability Issue" in {
|
| H A D | DiagnosticGroups.td | 357 def Nullability : DiagGroup<"nullability">;
|
| H A D | AttrDocs.td | 2855 def NullabilityDocs : DocumentationCategory<"Nullability Attributes"> {
2859 …ress (for example) a nullable pointer to an array of nonnull pointers. Nullability qualifiers are …
|
| H A D | Attr.td | 1553 // Nullability type attributes.
|
| H A D | DiagnosticSemaKinds.td | 9274 let CategoryName = "Nullability Issue" in {
9278 InGroup<Nullability>;
9309 InGroup<Nullability>;
|
| /freebsd-12.1/contrib/llvm/tools/clang/lib/Driver/ |
| H A D | SanitizerArgs.cpp | 30 NeedsUbsanRt = Undefined | Integer | ImplicitConversion | Nullability | CFI,
38 ImplicitConversion | Nullability | DataFlow | Fuzzer |
40 RecoverableByDefault = Undefined | Integer | ImplicitConversion | Nullability,
46 ImplicitConversion | Nullability | LocalBounds | CFI,
110 {"ubsan_blacklist.txt", Undefined | Integer | Nullability}}; in addDefaultBlacklists()
|
| H A D | ToolChain.cpp | 826 ImplicitConversion | Nullability | LocalBounds; in getSupportedSanitizers()
|
| /freebsd-12.1/contrib/llvm/tools/clang/lib/CodeGen/ |
| H A D | CGDecl.cpp | 724 auto Nullability = LHS.getType()->getNullability(getContext()); in EmitNullabilityCheck() local
725 if (!Nullability || *Nullability != NullabilityKind::NonNull) in EmitNullabilityCheck()
2407 auto Nullability = Ty->getNullability(getContext()); in EmitParmDecl() local
2408 if (Nullability && *Nullability == NullabilityKind::NonNull) { in EmitParmDecl()
|
| H A D | CodeGenFunction.cpp | 980 auto Nullability = FnRetTy->getNullability(getContext()); in StartFunction() local
981 if (Nullability && *Nullability == NullabilityKind::NonNull) { in StartFunction()
|
| H A D | CGCall.cpp | 3395 auto Nullability = PVD->getType()->getNullability(getContext()); in EmitNonNullArgCheck() local
3396 CanCheckNullability = Nullability && in EmitNonNullArgCheck()
3397 *Nullability == NullabilityKind::NonNull && in EmitNonNullArgCheck()
|
| /freebsd-12.1/contrib/llvm/tools/clang/include/clang/Sema/ |
| H A D | DeclSpec.h | 831 Nullability(0), GetterName(nullptr), SetterName(nullptr) { } in ObjCDeclSpec()
855 return static_cast<NullabilityKind>(Nullability); in getNullability()
869 Nullability = static_cast<unsigned>(kind); in setNullability()
898 unsigned Nullability : 2; variable
|
| H A D | Sema.h | 256 FileNullability Nullability; member
263 return Cache.Nullability;
267 Map[Cache.File] = Cache.Nullability;
272 Cache.Nullability = Map[file];
273 return Cache.Nullability;
|
| /freebsd-12.1/contrib/llvm/tools/clang/lib/Parse/ |
| H A D | ParseObjc.cpp | 1152 NullabilityKind Nullability; in ParseObjCTypeQualifierList() local
1164 Nullability = NullabilityKind::NonNull; in ParseObjCTypeQualifierList()
1169 Nullability = NullabilityKind::Nullable; in ParseObjCTypeQualifierList()
1174 Nullability = NullabilityKind::Unspecified; in ParseObjCTypeQualifierList()
1181 DS.setNullability(Tok.getLocation(), Nullability); in ParseObjCTypeQualifierList()
|
| /freebsd-12.1/contrib/llvm/tools/clang/include/clang/StaticAnalyzer/Checkers/ |
| H A D | Checkers.td | 46 def Nullability : Package<"nullability">;
208 let ParentPackage = Nullability in {
|
| /freebsd-12.1/contrib/llvm/tools/clang/lib/Sema/ |
| H A D | SemaExprObjC.cpp | 567 Optional<NullabilityKind> Nullability = in BuildObjCBoxedExpr() local
569 if (Nullability) in BuildObjCBoxedExpr()
571 AttributedType::getNullabilityAttrKind(*Nullability), BoxedType, in BuildObjCBoxedExpr()
1379 if (auto Nullability = resultType->getNullability(Context)) in getMessageSendResultType() local
1381 AttributedType::getNullabilityAttrKind(*Nullability), in getMessageSendResultType()
|
| H A D | SemaType.cpp | 3736 NullabilityKind Nullability) { in fixItNullability() argument
3750 InsertionTextBuf += getNullabilitySpelling(Nullability); in fixItNullability()
3786 auto addFixIt = [&](NullabilityKind Nullability) { in emitNullabilityConsistencyWarning() argument
3788 Diag << static_cast<unsigned>(Nullability); in emitNullabilityConsistencyWarning()
3790 fixItNullability(S, Diag, FixItLoc, Nullability); in emitNullabilityConsistencyWarning()
|
| /freebsd-12.1/contrib/llvm/tools/clang/lib/AST/ |
| H A D | Type.cpp | 3701 if (auto Nullability = AT->getImmediateNullability()) in getNullability() local
3702 return Nullability; in getNullability()
|
| H A D | ASTContext.cpp | 5512 if (auto Nullability = Ty->getNullability(*this)) { in getArrayDecayedType() local
5514 AttributedType::getNullabilityAttrKind(*Nullability), Result, Result); in getArrayDecayedType()
|