| /freebsd-12.1/contrib/llvm/tools/clang/lib/StaticAnalyzer/Checkers/ |
| 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() 607 void ClassReleaseChecker::checkPreObjCMessage(const ObjCMethodCall &msg, in checkPreObjCMessage() 660 bool isVariadicMessage(const ObjCMethodCall &msg) const; 815 bool isCollectionCountMethod(const ObjCMethodCall &M, 999 bool ObjCLoopChecker::isCollectionCountMethod(const ObjCMethodCall &M, in isCollectionCountMethod() 1011 void ObjCLoopChecker::checkPostObjCMessage(const ObjCMethodCall &M, in checkPostObjCMessage() [all …]
|
| H A D | ObjCSuperDeallocChecker.cpp | 38 bool isSuperDeallocMessage(const ObjCMethodCall &M) const; 42 void checkPostObjCMessage(const ObjCMethodCall &M, CheckerContext &C) const; 43 void checkPreObjCMessage(const ObjCMethodCall &M, CheckerContext &C) const; 84 void ObjCSuperDeallocChecker::checkPreObjCMessage(const ObjCMethodCall &M, in checkPreObjCMessage() 114 void ObjCSuperDeallocChecker::checkPostObjCMessage(const ObjCMethodCall &M, in checkPostObjCMessage() 237 ObjCSuperDeallocChecker::isSuperDeallocMessage(const ObjCMethodCall &M) const { in isSuperDeallocMessage()
|
| H A D | CallAndMessageChecker.cpp | 64 void checkPreObjCMessage(const ObjCMethodCall &msg, CheckerContext &C) const; 69 void checkObjCMessageNil(const ObjCMethodCall &msg, CheckerContext &C) const; 81 void emitNilReceiverBug(CheckerContext &C, const ObjCMethodCall &msg, 86 const ObjCMethodCall &msg) const; 121 const ObjCMethodCall &Msg = cast<ObjCMethodCall>(Call); in describeUninitializedArgumentInCall() 444 if (isa<ObjCMethodCall>(Call)) in checkPreCall() 464 void CallAndMessageChecker::checkPreObjCMessage(const ObjCMethodCall &msg, in checkPreObjCMessage() 506 void CallAndMessageChecker::checkObjCMessageNil(const ObjCMethodCall &msg, in checkObjCMessageNil() 512 const ObjCMethodCall &msg, in emitNilReceiverBug() 553 const ObjCMethodCall &Msg) const { in HandleNilReceiver()
|
| H A D | CheckObjCDealloc.cpp | 117 void checkPreObjCMessage(const ObjCMethodCall &M, CheckerContext &C) const; 138 const ObjCMethodCall &M, 141 SymbolRef getValueReleasedByNillingOut(const ObjCMethodCall &M, 160 bool isSuperDeallocMessage(const ObjCMethodCall &M) const; 330 const ObjCMethodCall &M, CheckerContext &C) const { in checkPreObjCMessage() 382 const ObjCMethodCall &M, CheckerContext &C) const { in checkPostObjCMessage() 459 auto *OMC = dyn_cast_or_null<ObjCMethodCall>(Call); in checkPointerEscape() 638 const ObjCMethodCall &M, in diagnoseExtraRelease() 716 const ObjCMethodCall &M, in diagnoseMistakenDealloc() 790 const ObjCMethodCall &M) const { in isSuperDeallocMessage() [all …]
|
| H A D | CheckerDocumentation.cpp | 92 void checkPreObjCMessage(const ObjCMethodCall &M, CheckerContext &C) const {} in checkPreObjCMessage() 98 void checkPostObjCMessage(const ObjCMethodCall &M, CheckerContext &C) const {} in checkPostObjCMessage() 107 void checkObjCMessageNil(const ObjCMethodCall &M, CheckerContext &C) const {} in checkObjCMessageNil()
|
| H A D | NSAutoreleasePoolChecker.cpp | 39 void checkPreObjCMessage(const ObjCMethodCall &msg, CheckerContext &C) const; 44 void NSAutoreleasePoolChecker::checkPreObjCMessage(const ObjCMethodCall &msg, in checkPreObjCMessage()
|
| H A D | NoReturnFunctionChecker.cpp | 36 void checkPostObjCMessage(const ObjCMethodCall &msg, CheckerContext &C) const; 88 void NoReturnFunctionChecker::checkPostObjCMessage(const ObjCMethodCall &Msg, in checkPostObjCMessage()
|
| H A D | TrustNonnullChecker.cpp | 96 void checkPostObjCMessage(const ObjCMethodCall &Msg, in checkPostObjCMessage() 168 if (!isa<ObjCMethodCall>(&Call)) in isNonNullPtr() 171 const auto *MCall = cast<ObjCMethodCall>(&Call); in isNonNullPtr()
|
| H A D | ObjCSelfInitChecker.cpp | 54 static bool isInitMessage(const ObjCMethodCall &Msg); 72 void checkPostObjCMessage(const ObjCMethodCall &Msg, CheckerContext &C) const; 166 void ObjCSelfInitChecker::checkPostObjCMessage(const ObjCMethodCall &Msg, in checkPostObjCMessage() 429 static bool isInitMessage(const ObjCMethodCall &Call) { in isInitMessage()
|
| H A D | DynamicTypePropagation.cpp | 107 void checkPreObjCMessage(const ObjCMethodCall &M, CheckerContext &C) const; 108 void checkPostObjCMessage(const ObjCMethodCall &M, CheckerContext &C) const; 199 if (const ObjCMethodCall *Msg = dyn_cast<ObjCMethodCall>(&Call)) { in checkPostCall() 712 void DynamicTypePropagation::checkPreObjCMessage(const ObjCMethodCall &M, in checkPreObjCMessage() 822 void DynamicTypePropagation::checkPostObjCMessage(const ObjCMethodCall &M, in checkPostObjCMessage()
|
| H A D | LocalizationChecker.cpp | 98 void checkPreObjCMessage(const ObjCMethodCall &msg, CheckerContext &C) const; 99 void checkPostObjCMessage(const ObjCMethodCall &msg, CheckerContext &C) const; 801 void NonLocalizedStringChecker::checkPreObjCMessage(const ObjCMethodCall &msg, in checkPreObjCMessage() 972 void NonLocalizedStringChecker::checkPostObjCMessage(const ObjCMethodCall &msg, in checkPostObjCMessage()
|
| H A D | NullabilityChecker.cpp | 100 void checkPostObjCMessage(const ObjCMethodCall &M, CheckerContext &C) const; 787 static Nullability getReceiverNullability(const ObjCMethodCall &M, in getReceiverNullability() 819 void NullabilityChecker::checkPostObjCMessage(const ObjCMethodCall &M, in checkPostObjCMessage()
|
| H A D | MallocChecker.cpp | 218 void checkPostObjCMessage(const ObjCMethodCall &Call, CheckerContext &C) const; 1171 static bool isKnownDeallocObjCMethodName(const ObjCMethodCall &Call) { in isKnownDeallocObjCMethodName() 1183 static Optional<bool> getFreeWhenDoneArg(const ObjCMethodCall &Call) { in getFreeWhenDoneArg() 1194 void MallocChecker::checkPostObjCMessage(const ObjCMethodCall &Call, in checkPostObjCMessage() 2630 if (!(isa<SimpleFunctionCall>(Call) || isa<ObjCMethodCall>(Call))) in mayFreeAnyEscapedMemoryOrIsModeledExplicitly() 2634 if (const ObjCMethodCall *Msg = dyn_cast<ObjCMethodCall>(Call)) { in mayFreeAnyEscapedMemoryOrIsModeledExplicitly()
|
| /freebsd-12.1/contrib/llvm/tools/clang/lib/StaticAnalyzer/Core/ |
| H A D | CallEvent.cpp | 920 ArrayRef<ParmVarDecl*> ObjCMethodCall::parameters() const { in parameters() 927 void ObjCMethodCall::getExtraInvalidatedValues( in getExtraInvalidatedValues() 952 SVal ObjCMethodCall::getSelfSVal() const { in getSelfSVal() 960 SVal ObjCMethodCall::getReceiverSVal() const { in getReceiverSVal() 976 bool ObjCMethodCall::isReceiverSelfOrSuper() const { in isReceiverSelfOrSuper() 989 SourceRange ObjCMethodCall::getSourceRange() const { in getSourceRange() 1020 ObjCMessageKind ObjCMethodCall::getMessageKind() const { in getMessageKind() 1045 const_cast<ObjCMethodCall *>(this)->Data in getMessageKind() 1052 const_cast<ObjCMethodCall *>(this)->Data in getMessageKind() 1313 bool ObjCMethodCall::argumentsMayEscape() const { in argumentsMayEscape() [all …]
|
| H A D | ExprEngineObjC.cpp | 155 CallEventRef<ObjCMethodCall> Msg = in VisitObjCMessage() 249 CallEventRef<ObjCMethodCall> UpdatedMsg = Msg.cloneWithState(State); in VisitObjCMessage()
|
| H A D | RetainSummaryManager.cpp | 593 if (const ObjCMethodCall *MC = dyn_cast<ObjCMethodCall>(&Call)) { in updateSummaryForCall() 627 const ObjCMethodCall &Msg = cast<ObjCMethodCall>(Call); in getSummary() 1049 const ObjCMethodCall &Msg, in getInstanceMethodSummary()
|
| H A D | CheckerManager.cpp | 193 const ObjCMethodCall &Msg; 198 const ObjCMethodCall &msg, ExprEngine &eng, in CheckObjCMessageContext() 223 checkFn(*Msg.cloneWithState<ObjCMethodCall>(Pred->getState()), C); in runChecker() 233 const ObjCMethodCall &msg, in runCheckersForObjCMessage()
|
| H A D | ExprEngineCallAndReturn.cpp | 346 if (const ObjCMethodCall *Msg = dyn_cast<ObjCMethodCall>(Call)) { in processCallExit() 591 if (const ObjCMethodCall *Msg = dyn_cast<ObjCMethodCall>(&Call)) { in bindReturnValue()
|
| H A D | BugReporterVisitors.cpp | 331 if (const auto *MC = dyn_cast<ObjCMethodCall>(Call)) { in VisitNode()
|
| /freebsd-12.1/contrib/llvm/tools/clang/include/clang/StaticAnalyzer/Core/ |
| H A D | CheckerManager.h | 51 class ObjCMethodCall; variable 220 const ObjCMethodCall &msg, in runCheckersForPreObjCMessage() 228 const ObjCMethodCall &msg, 238 const ObjCMethodCall &msg, in runCheckersForObjCMessageNil() 248 const ObjCMethodCall &msg, ExprEngine &Eng, 426 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()
|
| H A D | RetainSummaryManager.h | 701 getInstanceMethodSummary(const ObjCMethodCall &M, 704 const RetainSummary *getClassMethodSummary(const ObjCMethodCall &M) {
|
| /freebsd-12.1/contrib/llvm/tools/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| H A D | CallEvent.h | 970 class ObjCMethodCall : public CallEvent { 976 ObjCMethodCall(const ObjCMessageExpr *Msg, ProgramStateRef St, in ObjCMethodCall() function 982 ObjCMethodCall(const ObjCMethodCall &Other) = default; 984 void cloneTo(void *Dest) const override { new (Dest) ObjCMethodCall(*this); } in cloneTo() 1155 CallEventRef<ObjCMethodCall> 1158 return create<ObjCMethodCall>(E, State, LCtx); in getObjCMethodCall()
|
| /freebsd-12.1/contrib/llvm/tools/clang/lib/StaticAnalyzer/Checkers/RetainCountChecker/ |
| H A D | RetainCountChecker.cpp | 399 if (const auto *MC = dyn_cast<ObjCMethodCall>(&Call)) { in checkPostCall() 513 if (const auto *MsgInvocation = dyn_cast<ObjCMethodCall>(&CallOrMsg)) { in processSummaryOfInlined() 660 if (const auto *MsgInvocation = dyn_cast<ObjCMethodCall>(&CallOrMsg)) { in checkSummary()
|
| H A D | RetainCountDiagnostics.cpp | 162 CallEventRef<ObjCMethodCall> Call = in generateDiagnosticsForCallLike()
|