| /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()
206 NullabilityState(Nullability Nullab, const Stmt *Source = nullptr) in NullabilityState()
211 Nullability getValue() const { return Nullab; } in getValue()
223 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 | 75 std::optional<NullabilityKind> Nullability; member
123 IO.mapOptional("Nullability", P.Nullability, std::nullopt); in mapping()
155 NullabilitySeq Nullability; member
188 IO.mapOptional("Nullability", M.Nullability); in mapping()
211 std::optional<NullabilityKind> Nullability; member
230 IO.mapOptional("Nullability", P.Nullability, std::nullopt); in mapping()
289 NullabilitySeq Nullability; member
311 IO.mapOptional("Nullability", F.Nullability); in mapping()
330 std::optional<NullabilityKind> Nullability; member
347 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 | 391 void Sema::ApplyNullability(Decl *D, NullabilityKind Nullability) { in ApplyNullability() argument
394 NullabilityKind Nullability) -> std::optional<QualType> { in ApplyNullability() argument
396 CheckImplicitNullabilityTypeSpecifier(QT, Nullability, D->getLocation(), in ApplyNullability()
405 GetModified(D, Function->getReturnType(), Nullability)) { in ApplyNullability()
415 if (auto Modified = GetModified(D, Method->getReturnType(), Nullability)) { in ApplyNullability()
424 if (auto Modified = GetModified(D, Value->getType(), Nullability)) { in ApplyNullability()
435 if (auto Modified = GetModified(D, Property->getType(), Nullability)) { in ApplyNullability()
454 if (auto Nullability = Info.getNullability()) in ProcessAPINotes() local
455 applyNullability(S, D, *Nullability, Metadata); in ProcessAPINotes()
|
| H A D | SemaType.cpp | 4040 NullabilityKind Nullability) { in fixItNullability() argument
4054 InsertionTextBuf += getNullabilitySpelling(Nullability); in fixItNullability()
4090 auto addFixIt = [&](NullabilityKind Nullability) { in emitNullabilityConsistencyWarning() argument
4092 Diag << static_cast<unsigned>(Nullability); in emitNullabilityConsistencyWarning()
4094 fixItNullability(S, Diag, FixItLoc, Nullability); in emitNullabilityConsistencyWarning()
7231 NullabilityKind Nullability, SourceLocation NullabilityLoc, in CheckNullabilityTypeSpecifier() argument
7243 if (Nullability == *ExistingNullability) { in CheckNullabilityTypeSpecifier()
7248 << DiagNullabilityKind(Nullability, IsContextSensitive) in CheckNullabilityTypeSpecifier()
7257 << DiagNullabilityKind(Nullability, IsContextSensitive) in CheckNullabilityTypeSpecifier()
7274 if (Nullability != *ExistingNullability && !Implicit) { in CheckNullabilityTypeSpecifier()
[all …]
|
| H A D | SemaExprObjC.cpp | 600 std::optional<NullabilityKind> Nullability = in BuildObjCBoxedExpr() local
602 if (Nullability) in BuildObjCBoxedExpr()
604 Context.getAttributedType(*Nullability, BoxedType, BoxedType); in BuildObjCBoxedExpr()
1550 if (auto Nullability = resultType->getNullability()) in getMessageSendResultType() local
1551 NewResultType = Context.getAttributedType(*Nullability, NewResultType, in getMessageSendResultType()
|
| /freebsd/contrib/llvm-project/clang/include/clang/Basic/ |
| H A D | DiagnosticCommonKinds.td | 149 let CategoryName = "Nullability Issue" in {
153 InGroup<Nullability>;
158 InGroup<Nullability>;
163 InGroup<Nullability>;
|
| H A D | Sanitizers.h | 232 SanitizerKind::ImplicitConversion | SanitizerKind::Nullability | in getPPTransparentSanitizers()
|
| H A D | Sanitizers.def | 106 SANITIZER_GROUP("nullability", Nullability,
|
| H A D | DiagnosticLexKinds.td | 1011 let CategoryName = "Nullability Issue" in {
|
| H A D | DiagnosticGroups.td | 634 def Nullability : DiagGroup<"nullability">;
|
| /freebsd/contrib/llvm-project/clang/lib/Driver/ |
| H A D | SanitizerArgs.cpp | 32 SanitizerKind::Nullability | SanitizerKind::CFI |
52 SanitizerKind::ImplicitConversion | SanitizerKind::Nullability |
61 SanitizerKind::ImplicitConversion | SanitizerKind::Nullability |
72 SanitizerKind::ImplicitConversion | SanitizerKind::Nullability |
208 SanitizerKind::Integer | SanitizerKind::Nullability | in addDefaultIgnorelists()
|
| H A D | ToolChain.cpp | 1604 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/include/clang/Sema/ |
| H A D | DeclSpec.h | 920 PropertyAttributes(ObjCPropertyAttribute::kind_noattr), Nullability(0), in ObjCDeclSpec()
946 return static_cast<NullabilityKind>(Nullability); in getNullability()
962 Nullability = static_cast<unsigned>(kind); in setNullability()
991 unsigned Nullability : 2; variable
|
| H A D | Sema.h | 262 FileNullability Nullability; member
269 return Cache.Nullability;
273 Map[Cache.File] = Cache.Nullability;
278 Cache.Nullability = Map[file];
279 return Cache.Nullability;
1618 void ApplyNullability(Decl *D, NullabilityKind Nullability);
15116 NullabilityKind Nullability,
|
| /freebsd/contrib/llvm-project/clang/lib/CodeGen/ |
| H A D | CGDecl.cpp | 763 auto Nullability = LHS.getType()->getNullability(); in EmitNullabilityCheck() local
764 if (!Nullability || *Nullability != NullabilityKind::NonNull) in EmitNullabilityCheck()
2855 auto Nullability = Ty->getNullability(); in EmitParmDecl() local
2856 if (Nullability && *Nullability == NullabilityKind::NonNull) { in EmitParmDecl()
|
| H A D | CodeGenFunction.cpp | 1058 auto Nullability = FnRetTy->getNullability(); in StartFunction() local
1059 if (Nullability && *Nullability == NullabilityKind::NonNull && in StartFunction()
|
| H A D | CGCall.cpp | 4547 auto Nullability = PVD->getType()->getNullability(); in EmitNonNullArgCheck() local
4548 CanCheckNullability = Nullability && in EmitNonNullArgCheck()
4549 *Nullability == NullabilityKind::NonNull && in EmitNonNullArgCheck()
|
| /freebsd/contrib/llvm-project/clang/lib/Parse/ |
| H A D | ParseObjc.cpp | 1013 NullabilityKind Nullability; in ParseObjCTypeQualifierList() local
1037 Nullability = NullabilityKind::NonNull; in ParseObjCTypeQualifierList()
1042 Nullability = NullabilityKind::Nullable; in ParseObjCTypeQualifierList()
1047 Nullability = NullabilityKind::Unspecified; in ParseObjCTypeQualifierList()
1054 DS.setNullability(Tok.getLocation(), Nullability); in ParseObjCTypeQualifierList()
|
| /freebsd/contrib/llvm-project/clang/lib/ExtractAPI/ |
| H A D | DeclarationFragments.cpp | 1525 if (const auto Nullability = in getFragmentsForObjCProperty() local
1529 if (*Nullability == NullabilityKind::Unspecified && in getFragmentsForObjCProperty()
1535 getNullabilitySpelling(*Nullability, /*isContextSensitive=*/true), in getFragmentsForObjCProperty()
|
| /freebsd/contrib/llvm-project/clang/include/clang/StaticAnalyzer/Checkers/ |
| H A D | Checkers.td | 50 def Nullability : Package<"nullability">,
326 // Nullability checkers.
329 let ParentPackage = Nullability in {
|
| /freebsd/contrib/llvm-project/clang/lib/AST/ |
| H A D | Type.cpp | 4926 if (auto Nullability = AT->getImmediateNullability()) in getNullability() local
4927 return Nullability; in getNullability()
|