| /external/clang/lib/StaticAnalyzer/Checkers/ |
| TraversalChecker.cpp | 19 #include "clang/StaticAnalyzer/Core/PathSensitive/CallEvent.h"
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 {
85 void CallDumper::checkPostCall(const CallEvent &Call, CheckerContext &C) const {
|
| CheckerDocumentation.cpp | 108 void checkPreCall(const CallEvent &Call, CheckerContext &C) const {}
114 void checkPostCall(const CallEvent &Call, CheckerContext &C) const {}
254 const CallEvent *Call) const {
267 /// \param Call The corresponding CallEvent, if the symbols escape as
273 const CallEvent *Call,
284 const CallEvent *Call,
|
| SimpleStreamChecker.cpp | 21 #include "clang/StaticAnalyzer/Core/PathSensitive/CallEvent.h"
63 const CallEvent &Call,
70 bool guaranteedNotToCloseFile(const CallEvent &Call) const;
76 void checkPostCall(const CallEvent &Call, CheckerContext &C) const;
78 void checkPreCall(const CallEvent &Call, CheckerContext &C) const;
85 const CallEvent *Call,
121 void SimpleStreamChecker::checkPostCall(const CallEvent &Call,
142 void SimpleStreamChecker::checkPreCall(const CallEvent &Call,
209 const CallEvent &Call,
239 bool SimpleStreamChecker::guaranteedNotToCloseFile(const CallEvent &Call) const
[all...] |
| NoReturnFunctionChecker.cpp | 20 #include "clang/StaticAnalyzer/Core/PathSensitive/CallEvent.h"
35 void checkPostCall(const CallEvent &CE, CheckerContext &C) const;
41 void NoReturnFunctionChecker::checkPostCall(const CallEvent &CE,
|
| NonNullParamChecker.cpp | 23 #include "clang/StaticAnalyzer/Core/PathSensitive/CallEvent.h"
37 void checkPreCall(const CallEvent &Call, CheckerContext &C) const;
46 void NonNullParamChecker::checkPreCall(const CallEvent &Call,
56 CallEvent::param_type_iterator TyI = Call.param_type_begin(),
|
| DynamicTypePropagation.cpp | 19 #include "clang/StaticAnalyzer/Core/PathSensitive/CallEvent.h"
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,
104 void DynamicTypePropagation::checkPostCall(const CallEvent &Call,
|
| ObjCSelfInitChecker.cpp | 44 #include "clang/StaticAnalyzer/Core/PathSensitive/CallEvent.h"
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,
267 void ObjCSelfInitChecker::checkPostCall(const CallEvent &CE,
|
| ReturnUndefChecker.cpp | 20 #include "clang/StaticAnalyzer/Core/PathSensitive/CallEvent.h"
47 QualType RT = CallEvent::getDeclaredResultType(SFC->getDecl());
|
| CallAndMessageChecker.cpp | 21 #include "clang/StaticAnalyzer/Core/PathSensitive/CallEvent.h"
63 void checkPreCall(const CallEvent &Call, CheckerContext &C) const;
68 bool CheckUninitFields, const CallEvent &Call,
107 static StringRef describeUninitializedArgumentInCall(const CallEvent &Call,
186 const CallEvent &Call,
353 void CallAndMessageChecker::checkPreCall(const CallEvent &Call,
|
| MallocChecker.cpp | 23 #include "clang/StaticAnalyzer/Core/PathSensitive/CallEvent.h"
179 void checkPreCall(const CallEvent &Call, CheckerContext &C) const;
194 const CallEvent *Call,
198 const CallEvent *Call,
307 bool mayFreeAnyEscapedMemoryOrIsModeledExplicitly(const CallEvent *Call,
314 const CallEvent *Call,
[all...] |
| BasicObjCFoundationChecks.cpp | 27 #include "clang/StaticAnalyzer/Core/PathSensitive/CallEvent.h"
855 const CallEvent *Call,
[all...] |
| /external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| CallEvent.h | 1 //===- CallEvent.h - Wrapper for all function and method calls ----*- C++ -*--//
10 /// \file This file defines CallEvent and its subclasses, which represent path-
49 class CallEvent;
52 template<typename T = CallEvent>
110 /// CallEventManager to be able to re-use CallEvent-sized memory blocks,
111 /// subclasses of CallEvent may not add any data members to the base class.
113 class CallEvent {
122 void operator=(const CallEvent &) LLVM_DELETED_FUNCTION;
143 CallEvent(const Expr *E, ProgramStateRef state, const LocationContext *lctx)
146 CallEvent(const Decl *D, ProgramStateRef state, const LocationContext *lctx
[all...] |
| ExprEngine.h | 45 class CallEvent;
283 const CallEvent *Call) override;
493 const CallEvent *Call,
520 ProgramStateRef bindReturnValue(const CallEvent &Call,
527 const CallEvent &Call);
531 const CallEvent &Call);
556 bool shouldInlineCall(const CallEvent &Call, const Decl *D,
559 bool inlineCall(const CallEvent &Call, const Decl *D, NodeBuilder &Bldr,
564 void conservativeEvalCall(const CallEvent &Call, NodeBuilder &Bldr,
570 const CallEvent &Call, const Decl *D, NodeBuilder &Bldr
[all...] |
| SubEngine.h | 119 const CallEvent *Call) = 0;
136 const CallEvent *Call,
|
| Store.h | 33 class CallEvent;
188 const CallEvent *Call,
197 const CallEvent &Call,
|
| ProgramState.h | 39 class CallEvent;
241 const CallEvent *Call = nullptr,
248 const CallEvent *Call = nullptr,
253 ProgramStateRef enterStackFrame(const CallEvent &Call,
429 const CallEvent *Call) const;
|
| /external/clang/lib/StaticAnalyzer/Core/ |
| CallEvent.cpp | 10 /// \file This file defines CallEvent and its subclasses, which represent path-
16 #include "clang/StaticAnalyzer/Core/PathSensitive/CallEvent.h"
27 QualType CallEvent::getResultType() const {
81 bool CallEvent::hasNonZeroCallbackArg() const {
90 for (CallEvent::param_type_iterator I = param_type_begin(),
103 bool CallEvent::isGlobalCFunction(StringRef FunctionName) const {
128 const CallEvent &Call) {
130 for (CallEvent::param_type_iterator I = Call.param_type_begin(),
138 ProgramStateRef CallEvent::invalidateRegions(unsigned BlockCount,
178 ProgramPoint CallEvent::getProgramPoint(bool IsPreVisit
[all...] |
| Android.mk | 20 CallEvent.cpp \
|
| ExprEngineCallAndReturn.cpp | 21 #include "clang/StaticAnalyzer/Core/PathSensitive/CallEvent.h"
236 // Generate a CallEvent /before/ cleaning the state, so that we can get the
252 CallEvent::getDeclaredResultType(calleeCtx->getDecl());
416 bool ExprEngine::inlineCall(const CallEvent &Call, const Decl *D,
511 const CallEvent &Call) {
514 // use an updated CallEvent instance when calling checkers, but if 'Call' is
535 ProgramStateRef ExprEngine::bindReturnValue(const CallEvent &Call,
574 void ExprEngine::conservativeEvalCall(const CallEvent &Call, NodeBuilder &Bldr,
590 static CallInlinePolicy mayInlineCallKind(const CallEvent &Call,
746 if (CallEvent::isVariadic(CalleeADC->getDecl())
[all...] |
| Store.cpp | 18 #include "clang/StaticAnalyzer/Core/PathSensitive/CallEvent.h"
29 const CallEvent &Call,
33 SmallVector<CallEvent::FrameBindingTy, 16> InitialBindings;
36 for (CallEvent::BindingsTy::iterator I = InitialBindings.begin(),
|
| CheckerManager.cpp | 18 #include "clang/StaticAnalyzer/Core/PathSensitive/CallEvent.h"
225 const CallEvent &Call;
232 const CallEvent &call, ExprEngine &eng,
251 const CallEvent &Call,
475 const CallEvent *Call) {
491 const CallEvent *Call,
526 const CallEvent &Call,
|
| ProgramState.cpp | 16 #include "clang/StaticAnalyzer/Core/PathSensitive/CallEvent.h"
144 const CallEvent *Call,
161 const CallEvent *Call,
175 const CallEvent *Call) const {
228 ProgramState::enterStackFrame(const CallEvent &Call,
|
| ExplodedGraph.cpp | 18 #include "clang/StaticAnalyzer/Core/PathSensitive/CallEvent.h"
154 if (CallEvent::isCallStmt(SP->getStmt()))
|
| /external/clang/include/clang/StaticAnalyzer/Core/ |
| CheckerManager.h | 290 const CallEvent &Call, ExprEngine &Eng) {
296 const CallEvent &Call, ExprEngine &Eng,
305 const CallEvent &Call, ExprEngine &Eng,
377 const CallEvent *Call);
388 /// \param Call The corresponding CallEvent, if the symbols escape as
397 const CallEvent *Call,
407 /// Warning: Currently, the CallEvent MUST come from a CallExpr!
410 const CallEvent &CE, ExprEngine &Eng);
452 typedef CheckerFn<void (const CallEvent &, CheckerContext &)>
482 const CallEvent *Call)
[all...] |
| Checker.h | 155 static void _checkCall(void *checker, const CallEvent &msg,
170 static void _checkCall(void *checker, const CallEvent &msg,
299 const CallEvent *Call) {
326 const CallEvent *Call,
369 const CallEvent *Call,
|
