| /llvm-project-15.0.7/clang/test/Analysis/ |
| H A D | nullability.mm | 74 Dummy &r = *p; // expected-warning {{Nullable pointer is dereferenced}}
77 int b = p->val; // expected-warning {{Nullable pointer is dereferenced}}
80 int stuff = *ptr; // expected-warning {{Nullable pointer is dereferenced}}
83 …takesNonnull(p); // expected-warning {{Nullable pointer is passed to a callee that requires a non-…
91 case 5: takesAttrNonnull(p); break; // expected-warning {{Nullable pointer is passed to}}
92 default: { Dummy d = *p; } break; // expected-warning {{Nullable pointer is dereferenced}}
136 …return p; // expected-warning {{Nullable pointer is returned from a function that is expected to r…
274 …takesNonnull(p); // expected-warning {{Nullable pointer is passed to a callee that requires a non-…
407 …return local; // expected-warning {{Nullable pointer is returned from a method that is expected to…
506 …// expected-warning@-2{{Nullable pointer is passed to a callee that requires a non-null 1st parame…
[all …]
|
| H A D | incorrect-checker-names.mm | 52 …Dummy &r = *p; // expected-warning {{Nullable pointer is dereferenced [nullability.NullableDerefer…
55 …int b = p->val; // expected-warning {{Nullable pointer is dereferenced [nullability.NullableDerefe…
58 …int stuff = *ptr; // expected-warning {{Nullable pointer is dereferenced [nullability.NullableDere…
61 …takesNonnull(p); // expected-warning {{Nullable pointer is passed to a callee that requires a non-…
70 …takesAttrNonnull(p); // expected-warning {{Nullable pointer is passed to a callee that requires a …
72 …default: { Dummy d = *p; } break; // expected-warning {{Nullable pointer is dereferenced [nullabil…
|
| H A D | nullability-notes.m | 36 …takesNonnull(x); // expected-warning{{Nullable pointer is passed to a callee that requires a non-n…
37 …// expected-note@-1{{Nullable pointer is passed to a callee that requires a non-null 1st parameter…
|
| /llvm-project-15.0.7/clang/include/clang/APINotes/ |
| H A D | Types.h | 305 unsigned Nullable : 2; variable
311 VariableInfo() : NullabilityAudited(false), Nullable(0) {} in VariableInfo()
315 static_cast<NullabilityKind>(Nullable)) in getNullability()
321 Nullable = static_cast<unsigned>(kind); in setNullabilityAudited()
346 LHS.Nullable == RHS.Nullable && LHS.Type == RHS.Type;
380 if (auto Nullable = RHS.getDefaultNullability()) variable
381 setNullabilityAudited(*Nullable);
612 if (auto Nullable = RHS.getDefaultNullability()) { variable
614 addTypeInfo(0, *Nullable);
|
| /llvm-project-15.0.7/clang/lib/StaticAnalyzer/Checkers/ |
| H A D | NullabilityChecker.cpp | 58 case Nullability::Nullable: in getNullabilityString()
496 TrackedNullability->getValue() == Nullability::Nullable) { in checkEvent()
659 TrackedNullabValue == Nullability::Nullable && in checkPreStmt()
674 if (RequiredNullability == Nullability::Nullable) { in checkPreStmt()
750 TrackedNullability->getValue() != Nullability::Nullable) in checkPreCall()
819 getNullabilityAnnotation(ReturnType) == Nullability::Nullable) { in checkPostCall()
958 if (ComputedNullab == Nullability::Nullable) { in checkPostObjCMessage()
1011 if (DestNullability != Nullability::Nullable) in checkPostStmt()
1175 TrackedNullability->getValue() != Nullability::Nullable) in checkBind()
1191 if (ValNullability == Nullability::Nullable) { in checkBind()
[all …]
|
| /llvm-project-15.0.7/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| H A D | CheckerHelpers.h | 60 Nullable, enumerator
|
| /llvm-project-15.0.7/clang/lib/APINotes/ |
| H A D | APINotesTypes.cpp | 51 OS << "Audited Nullability: " << Nullable << ' '; in dump()
|
| H A D | APINotesYAMLCompiler.cpp | 90 IO.enumCase(NK, "Optional", NullabilityKind::Nullable); in enumeration()
99 IO.enumCase(NK, "O", NullabilityKind::Nullable); in enumeration()
|
| /llvm-project-15.0.7/clang/include/clang/Basic/ |
| H A D | Specifiers.h | 321 Nullable, enumerator
|
| /llvm-project-15.0.7/clang/lib/StaticAnalyzer/Core/ |
| H A D | CheckerHelpers.cpp | 107 return Nullability::Nullable; in getNullabilityAnnotation()
|
| /llvm-project-15.0.7/clang-tools-extra/clangd/refactor/tweaks/ |
| H A D | ObjCMemberwiseInitializer.cpp | 49 case NullabilityKind::Nullable: in getTypeStr()
|
| /llvm-project-15.0.7/clang/lib/Sema/ |
| H A D | SemaExprObjC.cpp | 1569 nullability = NullabilityKind::Nullable; in getMessageSendResultType()
1577 nullability = NullabilityKind::Nullable; in getMessageSendResultType()
1585 static const uint8_t Nullable = 2; in getMessageSendResultType() local
1589 /* None */ { None, None, Nullable, None }, in getMessageSendResultType()
1590 /* NonNull */ { None, NonNull, Nullable, Unspecified }, in getMessageSendResultType()
1591 /* Nullable */ { Nullable, Nullable, Nullable, Nullable }, in getMessageSendResultType()
1592 /* Unspecified */ { None, Unspecified, Nullable, Unspecified } in getMessageSendResultType()
|
| H A D | SemaType.cpp | 4043 case NullabilityKind::Nullable: in getNullabilityKeyword()
4369 addFixIt(NullabilityKind::Nullable); in emitNullabilityConsistencyWarning()
4491 case NullabilityKind::Nullable: in createNullabilityAttr()
4687 inferNullability = NullabilityKind::Nullable; in GetFullTypeForDeclarator()
4720 inferNullability = NullabilityKind::Nullable; in GetFullTypeForDeclarator()
4738 inferNullability = NullabilityKind::Nullable; in GetFullTypeForDeclarator()
7240 return NullabilityKind::Nullable; in mapNullabilityAttrKind()
|
| H A D | Sema.cpp | 574 if (!ExprNullability || (*ExprNullability != NullabilityKind::Nullable && in diagnoseNullableToNonnullConversion()
|
| H A D | SemaExpr.cpp | 9069 return NullabilityKind::Nullable; in computeConditionalNullability()
9086 if (LHSKind == NullabilityKind::Nullable || in computeConditionalNullability()
9087 RHSKind == NullabilityKind::Nullable) in computeConditionalNullability()
9088 MergedKind = NullabilityKind::Nullable; in computeConditionalNullability()
|
| H A D | SemaCodeComplete.cpp | 2753 case NullabilityKind::Nullable: in formatObjCParamQualifiers()
|
| /llvm-project-15.0.7/clang/lib/Basic/ |
| H A D | IdentifierTable.cpp | 767 case NullabilityKind::Nullable: in getNullabilitySpelling()
|
| H A D | Diagnostic.cpp | 52 case NullabilityKind::Nullable: in operator <<()
|
| /llvm-project-15.0.7/clang/lib/Parse/ |
| H A D | ParseObjc.cpp | 943 NullabilityKind::Nullable, in ParseObjCPropertyAttribute()
946 DS.setNullability(Tok.getLocation(), NullabilityKind::Nullable); in ParseObjCPropertyAttribute()
1190 Nullability = NullabilityKind::Nullable; in ParseObjCTypeQualifierList()
|
| /llvm-project-15.0.7/clang/include/clang/AST/ |
| H A D | ASTContext.h | 2580 *SubTnullability == NullabilityKind::Nullable); in hasSameNullabilityTypeQualifier()
2584 return (*SuperTnullability == NullabilityKind::Nullable && in hasSameNullabilityTypeQualifier()
|
| H A D | Type.h | 4819 case NullabilityKind::Nullable:
|
| /llvm-project-15.0.7/clang/tools/libclang/ |
| H A D | CXType.cpp | 1330 case NullabilityKind::Nullable: in clang_Type_getNullability()
|
| /llvm-project-15.0.7/clang/lib/AST/ |
| H A D | Type.cpp | 4241 return NullabilityKind::Nullable; in getImmediateNullability()
|
| /llvm-project-15.0.7/clang/docs/analyzer/ |
| H A D | checkers.rst | 438 // Warning: Nullable pointer is dereferenced
|