Home
last modified time | relevance | path

Searched refs:CallEvent (Results 1 – 25 of 57) sorted by relevance

123

/freebsd-12.1/contrib/llvm/tools/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
H A DCallEvent.h74 class CallEvent; variable
79 friend CallEvent; variable
109 template<typename T = CallEvent>
171 class CallEvent {
207 CallEvent(const CallEvent &Original) in CallEvent() function
227 CallEvent &operator=(const CallEvent &) = delete;
228 virtual ~CallEvent() = default;
497 : CallEvent(E, St, LCtx) {} in AnyFunctionCall()
500 : CallEvent(D, St, LCtx) {} in AnyFunctionCall()
1088 friend class CallEvent; variable
[all …]
H A DExprEngine.h76 class CallEvent; variable
370 const CallEvent *Call) override;
618 const CallEvent *Call,
656 ProgramStateRef bindReturnValue(const CallEvent &Call,
663 const CallEvent &Call);
667 const CallEvent &Call,
672 const CallEvent &Call);
674 const CallEvent &Call);
705 CallInlinePolicy mayInlineCallKind(const CallEvent &Call,
711 bool shouldInlineCall(const CallEvent &Call, const Decl *D,
[all …]
H A DStore.h47 class CallEvent; variable
239 const CallEvent *Call,
248 const CallEvent &Call,
/freebsd-12.1/contrib/llvm/tools/clang/lib/StaticAnalyzer/Checkers/
H A DBlockInCriticalSectionChecker.cpp46 const CallEvent &call,
52 bool isBlockingFunction(const CallEvent &Call) const;
53 bool isLockFunction(const CallEvent &Call) const;
54 bool isUnlockFunction(const CallEvent &Call) const;
59 void checkPostCall(const CallEvent &Call, CheckerContext &C) const;
99 bool BlockInCriticalSectionChecker::isBlockingFunction(const CallEvent &Call) const { in isBlockingFunction()
110 bool BlockInCriticalSectionChecker::isLockFunction(const CallEvent &Call) const { in isLockFunction()
128 bool BlockInCriticalSectionChecker::isUnlockFunction(const CallEvent &Call) const { in isUnlockFunction()
144 void BlockInCriticalSectionChecker::checkPostCall(const CallEvent &Call, in checkPostCall()
168 SymbolRef BlockDescSym, const CallEvent &Call, CheckerContext &C) const { in reportBlockInCritSection()
H A DSimpleStreamChecker.cpp61 const CallEvent &Call,
67 bool guaranteedNotToCloseFile(const CallEvent &Call) const;
73 void checkPostCall(const CallEvent &Call, CheckerContext &C) const;
75 void checkPreCall(const CallEvent &Call, CheckerContext &C) const;
82 const CallEvent *Call,
118 void SimpleStreamChecker::checkPostCall(const CallEvent &Call, in checkPostCall()
137 void SimpleStreamChecker::checkPreCall(const CallEvent &Call, in checkPreCall()
201 const CallEvent &Call, in reportDoubleClose()
230 bool SimpleStreamChecker::guaranteedNotToCloseFile(const CallEvent &Call) const{ in guaranteedNotToCloseFile()
250 const CallEvent *Call, in checkPointerEscape()
H A DCheckerDocumentation.cpp119 void checkPreCall(const CallEvent &Call, CheckerContext &C) const {} in checkPreCall()
125 void checkPostCall(const CallEvent &Call, CheckerContext &C) const {} in checkPostCall()
279 const CallEvent *Call) const { in checkRegionChanges()
298 const CallEvent *Call, in checkPointerEscape()
309 const CallEvent *Call, in checkConstPointerEscape()
H A DInnerPointerChecker.cpp92 bool isInvalidatingMemberFunction(const CallEvent &Call) const;
96 void markPtrSymbolsReleased(const CallEvent &Call, ProgramStateRef State,
103 void checkFunctionArguments(const CallEvent &Call, ProgramStateRef State,
109 void checkPostCall(const CallEvent &Call, CheckerContext &C) const;
118 const CallEvent &Call) const { in isInvalidatingMemberFunction()
134 void InnerPointerChecker::markPtrSymbolsReleased(const CallEvent &Call, in markPtrSymbolsReleased()
151 void InnerPointerChecker::checkFunctionArguments(const CallEvent &Call, in checkFunctionArguments()
195 void InnerPointerChecker::checkPostCall(const CallEvent &Call, in checkPostCall()
H A DTraversalChecker.cpp74 void checkPreCall(const CallEvent &Call, CheckerContext &C) const;
75 void checkPostCall(const CallEvent &Call, CheckerContext &C) const;
79 void CallDumper::checkPreCall(const CallEvent &Call, CheckerContext &C) const { in checkPreCall()
92 void CallDumper::checkPostCall(const CallEvent &Call, CheckerContext &C) const { in checkPostCall()
H A DVforkChecker.cpp62 void checkPreCall(const CallEvent &Call, CheckerContext &C) const;
63 void checkPostCall(const CallEvent &Call, CheckerContext &C) const;
143 void VforkChecker::checkPostCall(const CallEvent &Call, in checkPostCall()
183 void VforkChecker::checkPreCall(const CallEvent &Call, in checkPreCall()
H A DValistChecker.cpp53 void checkPreCall(const CallEvent &Call, CheckerContext &C) const;
68 void checkVAListStartCall(const CallEvent &Call, CheckerContext &C,
70 void checkVAListEndCall(const CallEvent &Call, CheckerContext &C) const;
124 void ValistChecker::checkPreCall(const CallEvent &Call, in checkPreCall()
307 void ValistChecker::checkVAListStartCall(const CallEvent &Call, in checkVAListStartCall()
354 void ValistChecker::checkVAListEndCall(const CallEvent &Call, in checkVAListEndCall()
H A DStdLibraryFunctionsChecker.cpp137 applyAsOutOfRange(ProgramStateRef State, const CallEvent &Call,
140 applyAsWithinRange(ProgramStateRef State, const CallEvent &Call,
143 applyAsComparesToArgument(ProgramStateRef State, const CallEvent &Call,
147 ProgramStateRef apply(ProgramStateRef State, const CallEvent &Call, in apply()
214 static QualType getArgType(const CallEvent &Call, ArgNoTy ArgNo) { in getArgType()
222 static SVal getArgSVal(const CallEvent &Call, ArgNoTy ArgNo) { in getArgSVal()
227 void checkPostCall(const CallEvent &Call, CheckerContext &C) const;
240 ProgramStateRef State, const CallEvent &Call, in applyAsOutOfRange()
268 ProgramStateRef State, const CallEvent &Call, in applyAsWithinRange()
319 ProgramStateRef State, const CallEvent &Call, in applyAsComparesToArgument()
[all …]
H A DObjCSuperDeallocChecker.cpp45 void checkPreCall(const CallEvent &Call, CheckerContext &C) const;
52 void diagnoseCallArguments(const CallEvent &CE, CheckerContext &C) const;
109 void ObjCSuperDeallocChecker::checkPreCall(const CallEvent &Call, in checkPreCall()
201 void ObjCSuperDeallocChecker::diagnoseCallArguments(const CallEvent &CE, in diagnoseCallArguments()
H A DAnalysisOrderChecker.cpp108 void checkPreCall(const CallEvent &Call, CheckerContext &C) const { in checkPreCall()
117 void checkPostCall(const CallEvent &Call, CheckerContext &C) const { in checkPostCall()
164 const LocationContext *LCtx, const CallEvent *Call) const { in checkRegionChanges()
H A DNonNullParamChecker.cpp37 void checkPreCall(const CallEvent &Call, CheckerContext &C) const;
48 static llvm::SmallBitVector getNonNullAttrs(const CallEvent &Call) { in getNonNullAttrs()
67 void NonNullParamChecker::checkPreCall(const CallEvent &Call, in checkPreCall()
H A DMmapWriteExecChecker.cpp38 void checkPreCall(const CallEvent &Call, CheckerContext &C) const;
48 void MmapWriteExecChecker::checkPreCall(const CallEvent &Call, in checkPreCall()
H A DNoReturnFunctionChecker.cpp35 void checkPostCall(const CallEvent &CE, CheckerContext &C) const;
41 void NoReturnFunctionChecker::checkPostCall(const CallEvent &CE, in checkPostCall()
H A DObjCSelfInitChecker.cpp79 void checkPreCall(const CallEvent &CE, CheckerContext &C) const;
80 void checkPostCall(const CallEvent &CE, CheckerContext &C) const;
238 void ObjCSelfInitChecker::checkPreCall(const CallEvent &CE, in checkPreCall()
266 void ObjCSelfInitChecker::checkPostCall(const CallEvent &CE, in checkPostCall()
/freebsd-12.1/contrib/llvm/tools/clang/lib/StaticAnalyzer/Checkers/MPI-Checker/
H A DMPIChecker.h36 void checkPreCall(const CallEvent &CE, CheckerContext &Ctx) const { in checkPreCall()
59 void checkDoubleNonblocking(const clang::ento::CallEvent &PreCallEvent,
67 void checkUnmatchedWaits(const clang::ento::CallEvent &PreCallEvent,
87 const clang::ento::MemRegion *const MR, const clang::ento::CallEvent &CE,
95 topRegionUsedByWait(const clang::ento::CallEvent &CE) const;
H A DMPIChecker.cpp25 void MPIChecker::checkDoubleNonblocking(const CallEvent &PreCallEvent, in checkDoubleNonblocking()
57 void MPIChecker::checkUnmatchedWaits(const CallEvent &PreCallEvent, in checkUnmatchedWaits()
135 const MemRegion *MPIChecker::topRegionUsedByWait(const CallEvent &CE) const { in topRegionUsedByWait()
148 const MemRegion *const MR, const CallEvent &CE, CheckerContext &Ctx) const { in allRegionsUsedByWait()
H A DMPIBugReporter.h43 void reportDoubleNonblocking(const CallEvent &MPICallEvent,
66 void reportUnmatchedWait(const CallEvent &CE,
H A DMPIBugReporter.cpp25 const CallEvent &MPICallEvent, const ento::mpi::Request &Req, in reportDoubleNonblocking()
71 const CallEvent &CE, const clang::ento::MemRegion *const RequestRegion, in reportUnmatchedWait()
/freebsd-12.1/contrib/llvm/tools/clang/lib/StaticAnalyzer/Core/
H A DCallEvent.cpp70 QualType CallEvent::getResultType() const { in getResultType()
154 bool CallEvent::hasNonZeroCallbackArg() const { in hasNonZeroCallbackArg()
158 bool CallEvent::hasVoidPointerToNonConstArg() const { in hasVoidPointerToNonConstArg()
275 const CallEvent &Call) { in findPtrToConstParams()
339 ProgramPoint CallEvent::getProgramPoint(bool IsPreVisit, in getProgramPoint()
401 SVal CallEvent::getArgSVal(unsigned Index) const { in getArgSVal()
415 SVal CallEvent::getReturnValue() const { in getReturnValue()
424 void CallEvent::dump(raw_ostream &Out) const { in dump()
442 bool CallEvent::isCallStmt(const Stmt *S) { in isCallStmt()
477 bool CallEvent::isVariadic(const Decl *D) { in isVariadic()
[all …]
H A DExprEngineCallAndReturn.cpp236 CallEvent::getDeclaredResultType(calleeCtx->getDecl()); in processCallExit()
412 bool ExprEngine::inlineCall(const CallEvent &Call, const Decl *D, in REGISTER_MAP_WITH_PROGRAMSTATE()
534 const CallEvent &Call) { in finishArgumentConstruction()
552 const CallEvent &Call) { in evalCall()
583 ProgramStateRef ExprEngine::bindReturnValue(const CallEvent &Call, in bindReturnValue()
659 ExprEngine::mayInlineCallKind(const CallEvent &Call, const ExplodedNode *Pred, in mayInlineCallKind()
840 if (CallEvent::isVariadic(CalleeADC->getDecl())) in mayInlineDecl()
893 bool ExprEngine::shouldInlineCall(const CallEvent &Call, const Decl *D, in shouldInlineCall()
971 static bool isTrivialObjectAssignment(const CallEvent &Call) { in isTrivialObjectAssignment()
986 const CallEvent &CallTemplate, in defaultEvalCall()
[all …]
/freebsd-12.1/contrib/llvm/tools/clang/include/clang/StaticAnalyzer/Core/
H A DCheckerManager.h41 class CallEvent; variable
253 const CallEvent &Call, ExprEngine &Eng) { in runCheckersForPreCall()
259 const CallEvent &Call, ExprEngine &Eng,
268 const CallEvent &Call, ExprEngine &Eng,
352 const CallEvent *Call);
372 const CallEvent *Call,
385 const CallEvent &CE, ExprEngine &Eng);
429 CheckerFn<void (const CallEvent &, CheckerContext &)>;
464 const CallEvent *Call)>;
469 const CallEvent *Call, PointerEscapeKind Kind,
/freebsd-12.1/contrib/llvm/tools/clang/lib/StaticAnalyzer/Checkers/RetainCountChecker/
H A DRetainCountChecker.h305 void checkPostCall(const CallEvent &Call, CheckerContext &C) const;
307 void checkSummary(const RetainSummary &Summ, const CallEvent &Call,
311 const CallEvent &Call,
325 const CallEvent *Call) const;

123