| /llvm-project-15.0.7/clang/lib/StaticAnalyzer/Checkers/ |
| H A D | ObjCSuperDeallocChecker.cpp | 37 bool isSuperDeallocMessage(const ObjCMethodCall &M) const; 41 void checkPostObjCMessage(const ObjCMethodCall &M, CheckerContext &C) const; 42 void checkPreObjCMessage(const ObjCMethodCall &M, CheckerContext &C) const; 82 void ObjCSuperDeallocChecker::checkPreObjCMessage(const ObjCMethodCall &M, in checkPreObjCMessage() 112 void ObjCSuperDeallocChecker::checkPostObjCMessage(const ObjCMethodCall &M, in checkPostObjCMessage() 236 ObjCSuperDeallocChecker::isSuperDeallocMessage(const ObjCMethodCall &M) const { in isSuperDeallocMessage()
|
| H A D | BasicObjCFoundationChecks.cpp | 53 static StringRef GetReceiverInterfaceName(const ObjCMethodCall &msg) { in GetReceiverInterfaceName() 119 const ObjCMethodCall &msg, unsigned Arg, 130 void checkPreObjCMessage(const ObjCMethodCall &M, CheckerContext &C) const; 151 const ObjCMethodCall &msg, in warnIfNilArg() 221 void NilArgChecker::checkPreObjCMessage(const ObjCMethodCall &msg, in checkPreObjCMessage() 604 void ClassReleaseChecker::checkPreObjCMessage(const ObjCMethodCall &msg, in checkPreObjCMessage() 657 bool isVariadicMessage(const ObjCMethodCall &msg) const; 813 bool isCollectionCountMethod(const ObjCMethodCall &M, 996 bool ObjCLoopChecker::isCollectionCountMethod(const ObjCMethodCall &M, in isCollectionCountMethod() 1008 void ObjCLoopChecker::checkPostObjCMessage(const ObjCMethodCall &M, in checkPostObjCMessage() [all …]
|
| H A D | CheckObjCDealloc.cpp | 116 void checkPreObjCMessage(const ObjCMethodCall &M, CheckerContext &C) const; 137 const ObjCMethodCall &M, 140 SymbolRef getValueReleasedByNillingOut(const ObjCMethodCall &M, 159 bool isSuperDeallocMessage(const ObjCMethodCall &M) const; 329 const ObjCMethodCall &M, CheckerContext &C) const { in checkPreObjCMessage() 381 const ObjCMethodCall &M, CheckerContext &C) const { in checkPostObjCMessage() 458 auto *OMC = dyn_cast_or_null<ObjCMethodCall>(Call); in checkPointerEscape() 636 const ObjCMethodCall &M, in diagnoseExtraRelease() 714 const ObjCMethodCall &M, in diagnoseMistakenDealloc() 788 const ObjCMethodCall &M) const { in isSuperDeallocMessage() [all …]
|
| H A D | CallAndMessageChecker.cpp | 81 void checkPreObjCMessage(const ObjCMethodCall &msg, CheckerContext &C) const; 86 void checkObjCMessageNil(const ObjCMethodCall &msg, CheckerContext &C) const; 117 void emitNilReceiverBug(CheckerContext &C, const ObjCMethodCall &msg, 122 const ObjCMethodCall &msg) const; 157 const ObjCMethodCall &Msg = cast<ObjCMethodCall>(Call); in describeUninitializedArgumentInCall() 523 if (isa<ObjCMethodCall>(Call)) in checkArgInitializedness() 575 void CallAndMessageChecker::checkPreObjCMessage(const ObjCMethodCall &msg, in checkPreObjCMessage() 623 void CallAndMessageChecker::checkObjCMessageNil(const ObjCMethodCall &msg, in checkObjCMessageNil() 629 const ObjCMethodCall &msg, in emitNilReceiverBug() 675 const ObjCMethodCall &Msg) const { in HandleNilReceiver()
|
| H A D | CheckerDocumentation.cpp | 91 void checkPreObjCMessage(const ObjCMethodCall &M, CheckerContext &C) const {} in checkPreObjCMessage() 97 void checkPostObjCMessage(const ObjCMethodCall &M, CheckerContext &C) const {} in checkPostObjCMessage() 106 void checkObjCMessageNil(const ObjCMethodCall &M, CheckerContext &C) const {} in checkObjCMessageNil()
|
| H A D | NSAutoreleasePoolChecker.cpp | 38 void checkPreObjCMessage(const ObjCMethodCall &msg, CheckerContext &C) const; 43 void NSAutoreleasePoolChecker::checkPreObjCMessage(const ObjCMethodCall &msg, in checkPreObjCMessage()
|
| H A D | NoReturnFunctionChecker.cpp | 35 void checkPostObjCMessage(const ObjCMethodCall &msg, CheckerContext &C) const; 87 void NoReturnFunctionChecker::checkPostObjCMessage(const ObjCMethodCall &Msg, in checkPostObjCMessage()
|
| H A D | TrustNonnullChecker.cpp | 95 void checkPostObjCMessage(const ObjCMethodCall &Msg, in checkPostObjCMessage() 167 if (!isa<ObjCMethodCall>(&Call)) in isNonNullPtr() 170 const auto *MCall = cast<ObjCMethodCall>(&Call); in isNonNullPtr()
|
| H A D | ObjCSelfInitChecker.cpp | 53 static bool isInitMessage(const ObjCMethodCall &Msg); 71 void checkPostObjCMessage(const ObjCMethodCall &Msg, CheckerContext &C) const; 166 void ObjCSelfInitChecker::checkPostObjCMessage(const ObjCMethodCall &Msg, in checkPostObjCMessage() 430 static bool isInitMessage(const ObjCMethodCall &Call) { in isInitMessage()
|
| H A D | DynamicTypePropagation.cpp | 104 void checkPreObjCMessage(const ObjCMethodCall &M, CheckerContext &C) const; 105 void checkPostObjCMessage(const ObjCMethodCall &M, CheckerContext &C) const; 126 RuntimeType inferReceiverType(const ObjCMethodCall &Message, in inferReceiverType() 306 if (const ObjCMethodCall *Msg = dyn_cast<ObjCMethodCall>(&Call)) { in checkPostCall() 794 void DynamicTypePropagation::checkPreObjCMessage(const ObjCMethodCall &M, in checkPreObjCMessage() 904 void DynamicTypePropagation::checkPostObjCMessage(const ObjCMethodCall &M, in checkPostObjCMessage()
|
| H A D | LocalizationChecker.cpp | 97 void checkPreObjCMessage(const ObjCMethodCall &msg, CheckerContext &C) const; 98 void checkPostObjCMessage(const ObjCMethodCall &msg, CheckerContext &C) const; 799 void NonLocalizedStringChecker::checkPreObjCMessage(const ObjCMethodCall &msg, in checkPreObjCMessage() 969 void NonLocalizedStringChecker::checkPostObjCMessage(const ObjCMethodCall &msg, in checkPostObjCMessage()
|
| H A D | NullabilityChecker.cpp | 98 void checkPostObjCMessage(const ObjCMethodCall &M, CheckerContext &C) const; 825 static Nullability getReceiverNullability(const ObjCMethodCall &M, in getReceiverNullability() 857 void NullabilityChecker::checkPostObjCMessage(const ObjCMethodCall &M, in checkPostObjCMessage()
|
| H A D | MallocChecker.cpp | 335 void checkPostObjCMessage(const ObjCMethodCall &Call, CheckerContext &C) const; 889 const ObjCMethodCall &Call, in maybeEmitNoteForObjCSelf() 1649 static bool isKnownDeallocObjCMethodName(const ObjCMethodCall &Call) { in isKnownDeallocObjCMethodName() 1661 static Optional<bool> getFreeWhenDoneArg(const ObjCMethodCall &Call) { in getFreeWhenDoneArg() 1672 void MallocChecker::checkPostObjCMessage(const ObjCMethodCall &Call, in checkPostObjCMessage() 3135 if (!isa<SimpleFunctionCall, ObjCMethodCall>(Call)) in mayFreeAnyEscapedMemoryOrIsModeledExplicitly() 3139 if (const ObjCMethodCall *Msg = dyn_cast<ObjCMethodCall>(Call)) { in mayFreeAnyEscapedMemoryOrIsModeledExplicitly()
|
| /llvm-project-15.0.7/clang/lib/StaticAnalyzer/Core/ |
| H A D | CallEvent.cpp | 908 ArrayRef<ParmVarDecl*> ObjCMethodCall::parameters() const { in parameters() 915 void ObjCMethodCall::getExtraInvalidatedValues( in getExtraInvalidatedValues() 940 SVal ObjCMethodCall::getReceiverSVal() const { in getReceiverSVal() 956 bool ObjCMethodCall::isReceiverSelfOrSuper() const { in isReceiverSelfOrSuper() 970 SourceRange ObjCMethodCall::getSourceRange() const { in getSourceRange() 1001 ObjCMessageKind ObjCMethodCall::getMessageKind() const { in getMessageKind() 1026 const_cast<ObjCMethodCall *>(this)->Data in getMessageKind() 1033 const_cast<ObjCMethodCall *>(this)->Data in getMessageKind() 1207 RuntimeDefinition ObjCMethodCall::getRuntimeDefinition() const { in getRuntimeDefinition() 1310 bool ObjCMethodCall::argumentsMayEscape() const { in argumentsMayEscape() [all …]
|
| H A D | ExprEngineObjC.cpp | 151 CallEventRef<ObjCMethodCall> Msg = in VisitObjCMessage() 245 CallEventRef<ObjCMethodCall> UpdatedMsg = Msg.cloneWithState(State); in VisitObjCMessage()
|
| H A D | CheckerManager.cpp | 203 const ObjCMethodCall &Msg; 208 const ObjCMethodCall &msg, ExprEngine &eng, in CheckObjCMessageContext() 233 checkFn(*Msg.cloneWithState<ObjCMethodCall>(Pred->getState()), C); in runChecker() 243 const ObjCMethodCall &msg, in runCheckersForObjCMessage()
|
| H A D | ExprEngineCallAndReturn.cpp | 363 if (const ObjCMethodCall *Msg = dyn_cast<ObjCMethodCall>(Call)) { in processCallExit() 698 if (const ObjCMethodCall *Msg = dyn_cast<ObjCMethodCall>(&Call)) { in bindReturnValue()
|
| H A D | BugReporterVisitors.cpp | 479 if (const auto *MC = dyn_cast<ObjCMethodCall>(Call)) { in VisitNode() 550 const ObjCMethodCall &Call, 677 const ObjCMethodCall &Call, in maybeEmitNoteForObjCSelf()
|
| /llvm-project-15.0.7/clang/include/clang/StaticAnalyzer/Core/ |
| H A D | CheckerManager.h | 53 class ObjCMethodCall; variable 278 const ObjCMethodCall &msg, in runCheckersForPreObjCMessage() 286 const ObjCMethodCall &msg, 296 const ObjCMethodCall &msg, in runCheckersForObjCMessageNil() 306 const ObjCMethodCall &msg, ExprEngine &Eng, 486 CheckerFn<void (const ObjCMethodCall &, CheckerContext &)>;
|
| H A D | Checker.h | 121 static void _checkObjCMessage(void *checker, const ObjCMethodCall &msg, in _checkObjCMessage() 136 static void _checkObjCMessage(void *checker, const ObjCMethodCall &msg, in _checkObjCMessage() 151 static void _checkObjCMessage(void *checker, const ObjCMethodCall &msg, in _checkObjCMessage()
|
| /llvm-project-15.0.7/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| H A D | CallEvent.h | 1119 class ObjCMethodCall : public CallEvent { 1125 ObjCMethodCall(const ObjCMessageExpr *Msg, ProgramStateRef St, in ObjCMethodCall() function 1131 ObjCMethodCall(const ObjCMethodCall &Other) = default; 1133 void cloneTo(void *Dest) const override { new (Dest) ObjCMethodCall(*this); } in cloneTo() 1302 CallEventRef<ObjCMethodCall> 1305 return create<ObjCMethodCall>(E, State, LCtx); in getObjCMethodCall()
|
| /llvm-project-15.0.7/clang/unittests/StaticAnalyzer/ |
| H A D | NoStateChangeFuncVisitorTest.cpp | 55 const ObjCMethodCall &Call, in maybeEmitNoteForObjCSelf()
|
| /llvm-project-15.0.7/clang/include/clang/StaticAnalyzer/Core/BugReporter/ |
| H A D | BugReporterVisitors.h | 626 class ObjCMethodCall; variable 707 const ObjCMethodCall &Call,
|
| /llvm-project-15.0.7/clang/lib/StaticAnalyzer/Checkers/RetainCountChecker/ |
| H A D | RetainCountChecker.cpp | 339 if (const auto *MC = dyn_cast<ObjCMethodCall>(&Call)) { in isReceiverUnconsumedSelf() 369 if (const auto *MC = dyn_cast<ObjCMethodCall>(&Call)) { in checkPostCall() 469 if (const auto *MsgInvocation = dyn_cast<ObjCMethodCall>(&CallOrMsg)) { in processSummaryOfInlined() 644 if (const auto *MsgInvocation = dyn_cast<ObjCMethodCall>(&CallOrMsg)) { in checkSummary()
|
| H A D | RetainCountDiagnostics.cpp | 237 CallEventRef<ObjCMethodCall> Call = in generateDiagnosticsForCallLike()
|