| /external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| D | CallEvent.h | 49 class CallEvent; variable
52 template<typename T = CallEvent>
113 class CallEvent {
122 void operator=(const CallEvent &) = delete;
143 CallEvent(const Expr *E, ProgramStateRef state, const LocationContext *lctx) in CallEvent() function
146 CallEvent(const Decl *D, ProgramStateRef state, const LocationContext *lctx) in CallEvent() function
150 CallEvent(const CallEvent &Original) in CallEvent() function
170 virtual ~CallEvent() {} in ~CallEvent()
325 return cloneWithState<CallEvent>(NewState); in cloneWithState()
380 class AnyFunctionCall : public CallEvent {
[all …]
|
| D | ExprEngine.h | 45 class CallEvent; variable
292 const CallEvent *Call) override;
506 const CallEvent *Call,
533 ProgramStateRef bindReturnValue(const CallEvent &Call,
540 const CallEvent &Call);
544 const CallEvent &Call);
569 bool shouldInlineCall(const CallEvent &Call, const Decl *D,
572 bool inlineCall(const CallEvent &Call, const Decl *D, NodeBuilder &Bldr,
577 void conservativeEvalCall(const CallEvent &Call, NodeBuilder &Bldr,
583 const CallEvent &Call, const Decl *D, NodeBuilder &Bldr,
[all …]
|
| D | Store.h | 33 class CallEvent; variable
188 const CallEvent *Call,
197 const CallEvent &Call,
|
| D | SubEngine.h | 129 const CallEvent *Call) = 0;
146 const CallEvent *Call,
|
| D | ProgramState.h | 39 class CallEvent; variable
242 const CallEvent *Call = nullptr,
249 const CallEvent *Call = nullptr,
254 ProgramStateRef enterStackFrame(const CallEvent &Call,
430 const CallEvent *Call) const;
|
| /external/clang/lib/StaticAnalyzer/Checkers/ |
| D | SimpleStreamChecker.cpp | 63 const CallEvent &Call,
69 bool guaranteedNotToCloseFile(const CallEvent &Call) const;
75 void checkPostCall(const CallEvent &Call, CheckerContext &C) const;
77 void checkPreCall(const CallEvent &Call, CheckerContext &C) const;
84 const CallEvent *Call,
120 void SimpleStreamChecker::checkPostCall(const CallEvent &Call, in checkPostCall()
141 void SimpleStreamChecker::checkPreCall(const CallEvent &Call, in checkPreCall()
208 const CallEvent &Call, in reportDoubleClose()
237 bool SimpleStreamChecker::guaranteedNotToCloseFile(const CallEvent &Call) const{ in guaranteedNotToCloseFile()
257 const CallEvent *Call, in checkPointerEscape()
|
| D | CheckerDocumentation.cpp | 108 void checkPreCall(const CallEvent &Call, CheckerContext &C) const {} in checkPreCall()
114 void checkPostCall(const CallEvent &Call, CheckerContext &C) const {} in checkPostCall()
254 const CallEvent *Call) const { in checkRegionChanges()
273 const CallEvent *Call, in checkPointerEscape()
284 const CallEvent *Call, in checkConstPointerEscape()
|
| D | TraversalChecker.cpp | 67 void checkPreCall(const CallEvent &Call, CheckerContext &C) const;
68 void checkPostCall(const CallEvent &Call, CheckerContext &C) const;
72 void CallDumper::checkPreCall(const CallEvent &Call, CheckerContext &C) const { in checkPreCall()
85 void CallDumper::checkPostCall(const CallEvent &Call, CheckerContext &C) const { in checkPostCall()
|
| D | DynamicTypePropagation.cpp | 39 void checkPreCall(const CallEvent &Call, CheckerContext &C) const;
40 void checkPostCall(const CallEvent &Call, CheckerContext &C) const;
60 void DynamicTypePropagation::checkPreCall(const CallEvent &Call, in checkPreCall()
104 void DynamicTypePropagation::checkPostCall(const CallEvent &Call, in checkPostCall()
|
| D | NonNullParamChecker.cpp | 37 void checkPreCall(const CallEvent &Call, CheckerContext &C) const;
46 void NonNullParamChecker::checkPreCall(const CallEvent &Call, in checkPreCall()
69 CallEvent::param_type_iterator TyI = Call.param_type_begin(), in checkPreCall()
|
| D | NoReturnFunctionChecker.cpp | 35 void checkPostCall(const CallEvent &CE, CheckerContext &C) const;
41 void NoReturnFunctionChecker::checkPostCall(const CallEvent &CE, in checkPostCall()
|
| D | ObjCSelfInitChecker.cpp | 79 void checkPreCall(const CallEvent &CE, CheckerContext &C) const;
80 void checkPostCall(const CallEvent &CE, CheckerContext &C) const;
239 void ObjCSelfInitChecker::checkPreCall(const CallEvent &CE, in checkPreCall()
267 void ObjCSelfInitChecker::checkPostCall(const CallEvent &CE, in checkPostCall()
|
| D | CallAndMessageChecker.cpp | 63 void checkPreCall(const CallEvent &Call, CheckerContext &C) const;
68 bool CheckUninitFields, const CallEvent &Call,
107 static StringRef describeUninitializedArgumentInCall(const CallEvent &Call, in describeUninitializedArgumentInCall()
186 const CallEvent &Call, in PreVisitProcessArg()
353 void CallAndMessageChecker::checkPreCall(const CallEvent &Call, in checkPreCall()
|
| D | ReturnUndefChecker.cpp | 47 QualType RT = CallEvent::getDeclaredResultType(SFC->getDecl()); in checkPreStmt()
|
| D | MallocChecker.cpp | 199 void checkPreCall(const CallEvent &Call, CheckerContext &C) const;
214 const CallEvent *Call,
218 const CallEvent *Call,
340 bool mayFreeAnyEscapedMemoryOrIsModeledExplicitly(const CallEvent *Call,
347 const CallEvent *Call,
2163 void MallocChecker::checkPreCall(const CallEvent &Call, in checkPreCall()
2362 const CallEvent *Call, in mayFreeAnyEscapedMemoryOrIsModeledExplicitly()
2523 const CallEvent *Call, in checkPointerEscape()
2530 const CallEvent *Call, in checkConstPointerEscape()
2538 const CallEvent *Call, in checkPointerEscapeAux()
|
| /external/clang/lib/StaticAnalyzer/Core/ |
| D | CallEvent.cpp | 27 QualType CallEvent::getResultType() const { in getResultType()
81 bool CallEvent::hasNonZeroCallbackArg() const { in hasNonZeroCallbackArg()
90 for (CallEvent::param_type_iterator I = param_type_begin(), in hasNonZeroCallbackArg()
103 bool CallEvent::isGlobalCFunction(StringRef FunctionName) const { in isGlobalCFunction()
128 const CallEvent &Call) { in findPtrToConstParams()
130 for (CallEvent::param_type_iterator I = Call.param_type_begin(), in findPtrToConstParams()
138 ProgramStateRef CallEvent::invalidateRegions(unsigned BlockCount, in invalidateRegions()
178 ProgramPoint CallEvent::getProgramPoint(bool IsPreVisit, in getProgramPoint()
195 SVal CallEvent::getArgSVal(unsigned Index) const { in getArgSVal()
202 SourceRange CallEvent::getArgSourceRange(unsigned Index) const { in getArgSourceRange()
[all …]
|
| D | ExprEngineCallAndReturn.cpp | 252 CallEvent::getDeclaredResultType(calleeCtx->getDecl()); in processCallExit()
416 bool ExprEngine::inlineCall(const CallEvent &Call, const Decl *D, in REGISTER_TRAIT_WITH_PROGRAMSTATE()
511 const CallEvent &Call) { in evalCall()
535 ProgramStateRef ExprEngine::bindReturnValue(const CallEvent &Call, in bindReturnValue()
574 void ExprEngine::conservativeEvalCall(const CallEvent &Call, NodeBuilder &Bldr, in conservativeEvalCall()
590 static CallInlinePolicy mayInlineCallKind(const CallEvent &Call, in mayInlineCallKind()
746 if (CallEvent::isVariadic(CalleeADC->getDecl())) in mayInlineDecl()
800 bool ExprEngine::shouldInlineCall(const CallEvent &Call, const Decl *D, in shouldInlineCall()
886 static bool isTrivialObjectAssignment(const CallEvent &Call) { in isTrivialObjectAssignment()
901 const CallEvent &CallTemplate) { in defaultEvalCall()
[all …]
|
| D | CheckerManager.cpp | 225 const CallEvent &Call;
232 const CallEvent &call, ExprEngine &eng, in CheckCallContext()
251 const CallEvent &Call, in runCheckersForCallEvent()
475 const CallEvent *Call) { in runCheckersForRegionChanges()
491 const CallEvent *Call, in runCheckersForPointerEscape()
526 const CallEvent &Call, in runCheckersForEvalCall()
|
| D | Store.cpp | 29 const CallEvent &Call, in enterStackFrame()
33 SmallVector<CallEvent::FrameBindingTy, 16> InitialBindings; in enterStackFrame()
36 for (CallEvent::BindingsTy::iterator I = InitialBindings.begin(), in enterStackFrame()
|
| D | CMakeLists.txt | 11 CallEvent.cpp
|
| D | Android.mk | 20 CallEvent.cpp \
|
| D | ProgramState.cpp | 144 const CallEvent *Call, in invalidateRegions()
161 const CallEvent *Call, in invalidateRegions()
175 const CallEvent *Call) const { in invalidateRegionsImpl()
228 ProgramState::enterStackFrame(const CallEvent &Call, in enterStackFrame()
|
| /external/clang/include/clang/StaticAnalyzer/Core/ |
| D | CheckerManager.h | 237 const CallEvent &Call, ExprEngine &Eng) { in runCheckersForPreCall()
243 const CallEvent &Call, ExprEngine &Eng,
252 const CallEvent &Call, ExprEngine &Eng,
324 const CallEvent *Call);
344 const CallEvent *Call,
357 const CallEvent &CE, ExprEngine &Eng);
399 typedef CheckerFn<void (const CallEvent &, CheckerContext &)>
429 const CallEvent *Call)>
436 const CallEvent *Call,
|
| D | Checker.h | 151 static void _checkCall(void *checker, const CallEvent &msg, in _checkCall()
166 static void _checkCall(void *checker, const CallEvent &msg, in _checkCall()
295 const CallEvent *Call) { in _checkRegionChanges()
322 const CallEvent *Call, in _checkPointerEscape()
365 const CallEvent *Call, in _checkConstPointerEscape()
|
| /external/clang/docs/analyzer/ |
| D | IPA.txt | 246 The basis of devirtualization is CallEvent's getRuntimeDefinition() method,
254 In the case of dynamic dispatch where our information is not perfect, CallEvent
365 CallEvent
368 A CallEvent represents a specific call to a function, method, or other body of
374 NOTE: For those familiar with Cocoa, CallEvent is roughly equivalent to
377 CallEvent should be used whenever there is logic dealing with function calls
|