| /openbsd-src/gnu/llvm/clang/lib/StaticAnalyzer/Checkers/ |
| H A D | NullabilityChecker.cpp | 49 Nullability getMostNullable(Nullability Lhs, Nullability Rhs) { in getMostNullable()
50 return static_cast<Nullability>( in getMostNullable()
54 const char *getNullabilityString(Nullability Nullab) { in getNullabilityString()
56 case Nullability::Contradicted: in getNullabilityString()
58 case Nullability::Nullable: in getNullabilityString()
60 case Nullability::Unspecified: in getNullabilityString()
62 case Nullability::Nonnull: in getNullabilityString()
205 NullabilityState(Nullability Nullab, const Stmt *Source = nullptr) in NullabilityState()
210 Nullability getValue() const { return Nullab; } in getValue()
222 Nullability Nullab;
[all …]
|
| H A D | TrustNonnullChecker.cpp | 162 if (getNullabilityAnnotation(ExprRetType) == Nullability::Nonnull) in isNonNullPtr()
178 if (getNullabilityAnnotation(DeclRetType) != Nullability::Nonnull) in isNonNullPtr()
|
| /openbsd-src/gnu/llvm/clang/lib/StaticAnalyzer/Core/ |
| H A D | CheckerHelpers.cpp | 103 Nullability getNullabilityAnnotation(QualType Type) { in getNullabilityAnnotation()
106 return Nullability::Unspecified; in getNullabilityAnnotation()
108 return Nullability::Nullable; in getNullabilityAnnotation()
110 return Nullability::Nonnull; in getNullabilityAnnotation()
111 return Nullability::Unspecified; in getNullabilityAnnotation()
|
| /openbsd-src/gnu/llvm/clang/lib/APINotes/ |
| H A D | APINotesYAMLCompiler.cpp | 74 std::optional<NullabilityKind> Nullability; member
122 IO.mapOptional("Nullability", P.Nullability, std::nullopt); in mapping()
153 NullabilitySeq Nullability; member
185 IO.mapOptional("Nullability", M.Nullability); in mapping()
206 std::optional<NullabilityKind> Nullability; member
225 IO.mapOptional("Nullability", P.Nullability, std::nullopt); in mapping()
284 NullabilitySeq Nullability; member
305 IO.mapOptional("Nullability", F.Nullability); in mapping()
322 std::optional<NullabilityKind> Nullability; member
339 IO.mapOptional("Nullability", GV.Nullability, std::nullopt); in mapping()
|
| /openbsd-src/gnu/llvm/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| H A D | CheckerHelpers.h | 55 enum class Nullability : char { enum
66 Nullability getNullabilityAnnotation(QualType Type);
|
| /openbsd-src/gnu/llvm/clang/docs/ |
| H A D | APINotes.rst | 182 :Nullability:
192 Note that 'Nullability' is overridden by 'Type', even in a "SwiftVersions"
197 'Nullability' can also be used to describe the argument types of methods
204 Nullability: O
231 header. Prefer 'Nullability' and other annotations when possible.
317 'Position' and support the 'Nullability', 'NoEscape', and 'Type' keys.
330 Nullability: O
|
| /openbsd-src/gnu/llvm/clang/include/clang/Basic/ |
| H A D | DiagnosticCommonKinds.td | 131 let CategoryName = "Nullability Issue" in {
135 InGroup<Nullability>;
140 InGroup<Nullability>;
145 InGroup<Nullability>;
|
| H A D | Sanitizers.h | 194 SanitizerKind::ImplicitConversion | SanitizerKind::Nullability | in getPPTransparentSanitizers()
|
| H A D | Sanitizers.def | 97 SANITIZER_GROUP("nullability", Nullability,
|
| H A D | DiagnosticLexKinds.td | 922 let CategoryName = "Nullability Issue" in {
|
| /openbsd-src/gnu/llvm/clang/lib/ExtractAPI/ |
| H A D | DeclarationFragments.cpp | 676 if (const auto Nullability = in getFragmentsForObjCProperty() local
680 if (*Nullability == NullabilityKind::Unspecified && in getFragmentsForObjCProperty()
686 getNullabilitySpelling(*Nullability, /*isContextSensitive=*/true), in getFragmentsForObjCProperty()
|
| /openbsd-src/gnu/llvm/clang/lib/Driver/ |
| H A D | SanitizerArgs.cpp | 32 SanitizerKind::ImplicitConversion | SanitizerKind::Nullability |
53 SanitizerKind::ImplicitConversion | SanitizerKind::Nullability |
60 SanitizerKind::ImplicitConversion | SanitizerKind::Nullability |
70 SanitizerKind::Nullability | SanitizerKind::LocalBounds |
174 SanitizerKind::Nullability | in addDefaultIgnorelists()
|
| H A D | ToolChain.cpp | 1133 SanitizerKind::Nullability | SanitizerKind::LocalBounds; in getSupportedSanitizers()
|
| /openbsd-src/gnu/llvm/clang/include/clang/APINotes/ |
| H A D | Types.h | 274 if (auto Nullability = RHS.getDefaultNullability()) variable
275 setDefaultNullability(*Nullability);
|
| /openbsd-src/gnu/llvm/clang/lib/CodeGen/ |
| H A D | CGDecl.cpp | 762 auto Nullability = LHS.getType()->getNullability(); in EmitNullabilityCheck() local
763 if (!Nullability || *Nullability != NullabilityKind::NonNull) in EmitNullabilityCheck()
2619 auto Nullability = Ty->getNullability(); in EmitParmDecl() local
2620 if (Nullability && *Nullability == NullabilityKind::NonNull) { in EmitParmDecl()
|
| H A D | CodeGenFunction.cpp | 963 auto Nullability = FnRetTy->getNullability(); in StartFunction() local
964 if (Nullability && *Nullability == NullabilityKind::NonNull) { in StartFunction()
|
| H A D | CGCall.cpp | 4131 auto Nullability = PVD->getType()->getNullability(); in EmitNonNullArgCheck() local
4132 CanCheckNullability = Nullability && in EmitNonNullArgCheck()
4133 *Nullability == NullabilityKind::NonNull && in EmitNonNullArgCheck()
|
| /openbsd-src/gnu/llvm/clang/include/clang/Sema/ |
| H A D | DeclSpec.h | 866 PropertyAttributes(ObjCPropertyAttribute::kind_noattr), Nullability(0), in ObjCDeclSpec()
892 return static_cast<NullabilityKind>(Nullability); in getNullability()
908 Nullability = static_cast<unsigned>(kind); in setNullability()
937 unsigned Nullability : 2; variable
|
| H A D | Sema.h | 272 FileNullability Nullability; member
279 return Cache.Nullability;
283 Map[Cache.File] = Cache.Nullability;
288 Cache.Nullability = Map[file];
289 return Cache.Nullability;
|
| /openbsd-src/gnu/llvm/clang/docs/analyzer/developer-docs/ |
| H A D | nullability.rst | 2 Nullability Checks
|
| /openbsd-src/gnu/llvm/clang/lib/Parse/ |
| H A D | ParseObjc.cpp | 1205 NullabilityKind Nullability; in ParseObjCTypeQualifierList() local
1217 Nullability = NullabilityKind::NonNull; in ParseObjCTypeQualifierList()
1222 Nullability = NullabilityKind::Nullable; in ParseObjCTypeQualifierList()
1227 Nullability = NullabilityKind::Unspecified; in ParseObjCTypeQualifierList()
1234 DS.setNullability(Tok.getLocation(), Nullability); in ParseObjCTypeQualifierList()
|
| /openbsd-src/gnu/llvm/clang/lib/Sema/ |
| H A D | SemaExprObjC.cpp | 595 std::optional<NullabilityKind> Nullability = in BuildObjCBoxedExpr() local
597 if (Nullability) in BuildObjCBoxedExpr()
599 AttributedType::getNullabilityAttrKind(*Nullability), BoxedType, in BuildObjCBoxedExpr()
1547 if (auto Nullability = resultType->getNullability()) in getMessageSendResultType() local
1549 AttributedType::getNullabilityAttrKind(*Nullability), in getMessageSendResultType()
|
| H A D | SemaType.cpp | 4380 NullabilityKind Nullability) { in fixItNullability() argument
4394 InsertionTextBuf += getNullabilitySpelling(Nullability); in fixItNullability()
4430 auto addFixIt = [&](NullabilityKind Nullability) { in emitNullabilityConsistencyWarning() argument
4432 Diag << static_cast<unsigned>(Nullability); in emitNullabilityConsistencyWarning()
4434 fixItNullability(S, Diag, FixItLoc, Nullability); in emitNullabilityConsistencyWarning()
|
| /openbsd-src/gnu/llvm/clang/include/clang/StaticAnalyzer/Checkers/ |
| H A D | Checkers.td | 45 def Nullability : Package<"nullability">,
311 // Nullability checkers.
314 let ParentPackage = Nullability in {
|
| /openbsd-src/gnu/llvm/clang/lib/AST/ |
| H A D | Type.cpp | 4189 if (auto Nullability = AT->getImmediateNullability()) in getNullability() local
4190 return Nullability; in getNullability()
|