| /freebsd/contrib/llvm-project/clang/lib/StaticAnalyzer/Checkers/ |
| H A D | NullabilityChecker.cpp | 51 Nullability getMostNullable(Nullability Lhs, Nullability Rhs) { in getMostNullable()
52 return static_cast<Nullability>( in getMostNullable()
56 const char *getNullabilityString(Nullability Nullab) { in getNullabilityString()
58 case Nullability::Contradicted: in getNullabilityString()
60 case Nullability::Nullable: in getNullabilityString()
62 case Nullability::Unspecified: in getNullabilityString()
64 case Nullability::Nonnull: in getNullabilityString()
209 NullabilityState(Nullability Nullab, const Stmt *Source = nullptr) in NullabilityState()
214 Nullability getValue() const { return Nullab; } in getValue()
226 Nullability Nullab;
[all …]
|
| H A D | TrustNonnullChecker.cpp | 161 if (getNullabilityAnnotation(ExprRetType) == Nullability::Nonnull) in isNonNullPtr()
177 if (getNullabilityAnnotation(DeclRetType) != Nullability::Nonnull) in isNonNullPtr()
|
| /freebsd/contrib/llvm-project/clang/lib/StaticAnalyzer/Core/ |
| H A D | CheckerHelpers.cpp | 104 Nullability getNullabilityAnnotation(QualType Type) { in getNullabilityAnnotation()
107 return Nullability::Unspecified; in getNullabilityAnnotation()
109 return Nullability::Nullable; in getNullabilityAnnotation()
111 return Nullability::Nonnull; in getNullabilityAnnotation()
112 return Nullability::Unspecified; in getNullabilityAnnotation()
|
| /freebsd/contrib/llvm-project/clang/lib/APINotes/ |
| H A D | APINotesYAMLCompiler.cpp | 73 std::optional<NullabilityKind> Nullability; member
121 IO.mapOptional("Nullability", P.Nullability, std::nullopt); in mapping()
152 NullabilitySeq Nullability; member
184 IO.mapOptional("Nullability", M.Nullability); in mapping()
205 std::optional<NullabilityKind> Nullability; member
224 IO.mapOptional("Nullability", P.Nullability, std::nullopt); in mapping()
283 NullabilitySeq Nullability; member
304 IO.mapOptional("Nullability", F.Nullability); in mapping()
321 std::optional<NullabilityKind> Nullability; member
338 IO.mapOptional("Nullability", GV.Nullability, std::nullopt); in mapping()
[all …]
|
| /freebsd/contrib/llvm-project/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| H A D | CheckerHelpers.h | 57 enum class Nullability : char { enum
68 Nullability getNullabilityAnnotation(QualType Type);
|
| /freebsd/contrib/llvm-project/clang/lib/Sema/ |
| H A D | SemaAPINotes.cpp | 53 static void applyNullability(Sema &S, Decl *D, NullabilityKind Nullability, in applyNullability() argument
60 NullabilityKind Nullability) -> std::optional<QualType> { in applyNullability() argument
62 S.CheckImplicitNullabilityTypeSpecifier(QT, Nullability, D->getLocation(), in applyNullability()
71 GetModified(D, Function->getReturnType(), Nullability)) { in applyNullability()
81 if (auto Modified = GetModified(D, Method->getReturnType(), Nullability)) { in applyNullability()
90 if (auto Modified = GetModified(D, Value->getType(), Nullability)) { in applyNullability()
101 if (auto Modified = GetModified(D, Property->getType(), Nullability)) { in applyNullability()
400 if (auto Nullability = Info.getNullability()) in ProcessAPINotes() local
401 applyNullability(S, D, *Nullability, Metadata); in ProcessAPINotes()
|
| H A D | SemaType.cpp | 3987 NullabilityKind Nullability) { in fixItNullability() argument
4001 InsertionTextBuf += getNullabilitySpelling(Nullability); in fixItNullability()
4037 auto addFixIt = [&](NullabilityKind Nullability) { in emitNullabilityConsistencyWarning() argument
4039 Diag << static_cast<unsigned>(Nullability); in emitNullabilityConsistencyWarning()
4041 fixItNullability(S, Diag, FixItLoc, Nullability); in emitNullabilityConsistencyWarning()
7148 NullabilityKind Nullability, SourceLocation NullabilityLoc, in CheckNullabilityTypeSpecifier() argument
7160 if (Nullability == *ExistingNullability) { in CheckNullabilityTypeSpecifier()
7165 << DiagNullabilityKind(Nullability, IsContextSensitive) in CheckNullabilityTypeSpecifier()
7174 << DiagNullabilityKind(Nullability, IsContextSensitive) in CheckNullabilityTypeSpecifier()
7191 if (Nullability != *ExistingNullability && !Implicit) { in CheckNullabilityTypeSpecifier()
[all …]
|
| H A D | SemaExprObjC.cpp | 604 std::optional<NullabilityKind> Nullability = in BuildObjCBoxedExpr() local
606 if (Nullability) in BuildObjCBoxedExpr()
608 AttributedType::getNullabilityAttrKind(*Nullability), BoxedType, in BuildObjCBoxedExpr()
1560 if (auto Nullability = resultType->getNullability()) in getMessageSendResultType() local
1562 AttributedType::getNullabilityAttrKind(*Nullability), in getMessageSendResultType()
|
| /freebsd/contrib/llvm-project/clang/include/clang/Basic/ |
| H A D | DiagnosticCommonKinds.td | 152 let CategoryName = "Nullability Issue" in {
156 InGroup<Nullability>;
161 InGroup<Nullability>;
166 InGroup<Nullability>;
|
| H A D | Sanitizers.def | 100 SANITIZER_GROUP("nullability", Nullability,
|
| H A D | DiagnosticLexKinds.td | 980 let CategoryName = "Nullability Issue" in {
|
| H A D | DiagnosticGroups.td | 561 def Nullability : DiagGroup<"nullability">;
|
| /freebsd/contrib/llvm-project/clang/lib/Driver/ |
| H A D | SanitizerArgs.cpp | 33 SanitizerKind::ImplicitConversion | SanitizerKind::Nullability |
53 SanitizerKind::ImplicitConversion | SanitizerKind::Nullability |
61 SanitizerKind::ImplicitConversion | SanitizerKind::Nullability |
71 SanitizerKind::Nullability | SanitizerKind::LocalBounds |
186 SanitizerKind::Nullability | in addDefaultIgnorelists()
|
| H A D | ToolChain.cpp | 1381 SanitizerKind::Nullability | SanitizerKind::LocalBounds; in getSupportedSanitizers()
|
| /freebsd/contrib/llvm-project/clang/include/clang/APINotes/ |
| H A D | Types.h | 274 if (auto Nullability = RHS.getDefaultNullability()) variable
275 setDefaultNullability(*Nullability);
|
| /freebsd/contrib/llvm-project/clang/lib/CodeGen/ |
| H A D | CGDecl.cpp | 778 auto Nullability = LHS.getType()->getNullability(); in EmitNullabilityCheck() local
779 if (!Nullability || *Nullability != NullabilityKind::NonNull) in EmitNullabilityCheck()
2763 auto Nullability = Ty->getNullability(); in EmitParmDecl() local
2764 if (Nullability && *Nullability == NullabilityKind::NonNull) { in EmitParmDecl()
|
| H A D | CodeGenFunction.cpp | 1042 auto Nullability = FnRetTy->getNullability(); in StartFunction() local
1043 if (Nullability && *Nullability == NullabilityKind::NonNull && in StartFunction()
|
| H A D | CGCall.cpp | 4373 auto Nullability = PVD->getType()->getNullability(); in EmitNonNullArgCheck() local
4374 CanCheckNullability = Nullability && in EmitNonNullArgCheck()
4375 *Nullability == NullabilityKind::NonNull && in EmitNonNullArgCheck()
|
| /freebsd/contrib/llvm-project/clang/include/clang/Sema/ |
| H A D | DeclSpec.h | 918 PropertyAttributes(ObjCPropertyAttribute::kind_noattr), Nullability(0), in ObjCDeclSpec()
944 return static_cast<NullabilityKind>(Nullability); in getNullability()
960 Nullability = static_cast<unsigned>(kind); in setNullability()
989 unsigned Nullability : 2; variable
|
| H A D | Sema.h | 287 FileNullability Nullability; member
294 return Cache.Nullability;
298 Map[Cache.File] = Cache.Nullability;
303 Cache.Nullability = Map[file];
304 return Cache.Nullability;
14802 NullabilityKind Nullability,
|
| /freebsd/contrib/llvm-project/clang/lib/ExtractAPI/ |
| H A D | DeclarationFragments.cpp | 1505 if (const auto Nullability = in getFragmentsForObjCProperty() local
1509 if (*Nullability == NullabilityKind::Unspecified && in getFragmentsForObjCProperty()
1515 getNullabilitySpelling(*Nullability, /*isContextSensitive=*/true), in getFragmentsForObjCProperty()
|
| /freebsd/contrib/llvm-project/clang/lib/Parse/ |
| H A D | ParseObjc.cpp | 1223 NullabilityKind Nullability; in ParseObjCTypeQualifierList() local
1235 Nullability = NullabilityKind::NonNull; in ParseObjCTypeQualifierList()
1240 Nullability = NullabilityKind::Nullable; in ParseObjCTypeQualifierList()
1245 Nullability = NullabilityKind::Unspecified; in ParseObjCTypeQualifierList()
1252 DS.setNullability(Tok.getLocation(), Nullability); in ParseObjCTypeQualifierList()
|
| /freebsd/contrib/llvm-project/clang/include/clang/StaticAnalyzer/Checkers/ |
| H A D | Checkers.td | 50 def Nullability : Package<"nullability">,
331 // Nullability checkers.
334 let ParentPackage = Nullability in {
|
| /freebsd/contrib/llvm-project/clang/lib/AST/ |
| H A D | Type.cpp | 4691 if (auto Nullability = AT->getImmediateNullability()) in getNullability() local
4692 return Nullability; in getNullability()
|
| H A D | ASTContext.cpp | 7398 if (auto Nullability = Ty->getNullability()) { in getArrayDecayedType() local
7400 AttributedType::getNullabilityAttrKind(*Nullability), Result, Result); in getArrayDecayedType()
|