| /external/clang/lib/StaticAnalyzer/Core/ |
| D | CheckerManager.cpp | 141 ExprEngine &Eng;
148 const Stmt *s, ExprEngine &eng, bool wasInlined = false) in CheckStmtContext()
170 ExprEngine &Eng, in runCheckersForStmt()
183 ExprEngine &Eng;
189 const ObjCMethodCall &msg, ExprEngine &eng, in CheckObjCMessageContext()
209 ExprEngine &Eng, in runCheckersForObjCMessage()
226 ExprEngine &Eng;
232 const CallEvent &call, ExprEngine &eng, in CheckCallContext()
252 ExprEngine &Eng, in runCheckersForCallEvent()
269 ExprEngine &Eng;
[all …]
|
| D | ExprEngine.cpp | 60 ExprEngine::ExprEngine(AnalysisManager &mgr, bool gcEnabled, in ExprEngine() function in ExprEngine
86 ExprEngine::~ExprEngine() { in ~ExprEngine()
94 ProgramStateRef ExprEngine::getInitialState(const LocationContext *InitLoc) { in getInitialState()
173 ExprEngine::createTemporaryRegionIfNeeded(ProgramStateRef State, in createTemporaryRegionIfNeeded()
250 ProgramStateRef ExprEngine::processAssume(ProgramStateRef state, in processAssume()
255 bool ExprEngine::wantsRegionChangeUpdate(ProgramStateRef state) { in wantsRegionChangeUpdate()
260 ExprEngine::processRegionChanges(ProgramStateRef state, in processRegionChanges()
269 void ExprEngine::printState(raw_ostream &Out, ProgramStateRef State, in printState()
274 void ExprEngine::processEndWorklist(bool hasWorkRemaining) { in processEndWorklist()
278 void ExprEngine::processCFGElement(const CFGElement E, ExplodedNode *Pred, in processCFGElement()
[all …]
|
| D | ExprEngineCXX.cpp | 25 void ExprEngine::CreateCXXTemporaryObject(const MaterializeTemporaryExpr *ME, in CreateCXXTemporaryObject()
39 void ExprEngine::performTrivialCopy(NodeBuilder &Bldr, ExplodedNode *Pred, in performTrivialCopy()
107 const CXXConstructExpr *CE, ExplodedNode *Pred, ExprEngine &Eng, in getRegionForConstructedObject()
177 void ExprEngine::VisitCXXConstructExpr(const CXXConstructExpr *CE, in VisitCXXConstructExpr()
299 void ExprEngine::VisitCXXDestructor(QualType ObjectType, in VisitCXXDestructor()
344 void ExprEngine::VisitCXXNewAllocatorCall(const CXXNewExpr *CNE, in VisitCXXNewAllocatorCall()
370 void ExprEngine::VisitCXXNewExpr(const CXXNewExpr *CNE, ExplodedNode *Pred, in VisitCXXNewExpr()
475 void ExprEngine::VisitCXXDeleteExpr(const CXXDeleteExpr *CDE, in VisitCXXDeleteExpr()
482 void ExprEngine::VisitCXXCatchStmt(const CXXCatchStmt *CS, in VisitCXXCatchStmt()
501 void ExprEngine::VisitCXXThisExpr(const CXXThisExpr *TE, ExplodedNode *Pred, in VisitCXXThisExpr()
|
| D | ExprEngineCallAndReturn.cpp | 40 void ExprEngine::processCallEnter(CallEnter CE, ExplodedNode *Pred) { in processCallEnter()
159 void ExprEngine::removeDeadOnEndOfFunction(NodeBuilderContext& BC, in removeDeadOnEndOfFunction()
218 void ExprEngine::processCallExit(ExplodedNode *CEBNode) { in processCallExit()
356 void ExprEngine::examineStackFrames(const Decl *D, const LocationContext *LCtx, in examineStackFrames()
416 bool ExprEngine::inlineCall(const CallEvent &Call, const Decl *D, in REGISTER_TRAIT_WITH_PROGRAMSTATE()
482 void ExprEngine::VisitCallExpr(const CallExpr *CE, ExplodedNode *Pred, in VisitCallExpr()
510 void ExprEngine::evalCall(ExplodedNodeSet &Dst, ExplodedNode *Pred, in evalCall()
535 ProgramStateRef ExprEngine::bindReturnValue(const CallEvent &Call, in bindReturnValue()
574 void ExprEngine::conservativeEvalCall(const CallEvent &Call, NodeBuilder &Bldr, in conservativeEvalCall()
800 bool ExprEngine::shouldInlineCall(const CallEvent &Call, const Decl *D, in shouldInlineCall()
[all …]
|
| D | ExprEngineObjC.cpp | 22 void ExprEngine::VisitLvalObjCIvarRefExpr(const ObjCIvarRefExpr *Ex, in VisitLvalObjCIvarRefExpr()
39 void ExprEngine::VisitObjCAtSynchronizedStmt(const ObjCAtSynchronizedStmt *S, in VisitObjCAtSynchronizedStmt()
45 void ExprEngine::VisitObjCForCollectionStmt(const ObjCForCollectionStmt *S, in VisitObjCForCollectionStmt()
135 void ExprEngine::VisitObjCMessage(const ObjCMessageExpr *ME, in VisitObjCMessage()
|
| D | ExprEngineC.cpp | 22 void ExprEngine::VisitBinaryOperator(const BinaryOperator* B, in VisitBinaryOperator()
187 void ExprEngine::VisitBlockExpr(const BlockExpr *BE, ExplodedNode *Pred, in VisitBlockExpr()
227 void ExprEngine::VisitCast(const CastExpr *CastE, const Expr *Ex, in VisitCast()
410 void ExprEngine::VisitCompoundLiteralExpr(const CompoundLiteralExpr *CL, in VisitCompoundLiteralExpr()
443 void ExprEngine::VisitDeclStmt(const DeclStmt *DS, ExplodedNode *Pred, in VisitDeclStmt()
516 void ExprEngine::VisitLogicalExpr(const BinaryOperator* B, ExplodedNode *Pred, in VisitLogicalExpr()
585 void ExprEngine::VisitInitListExpr(const InitListExpr *IE, in VisitInitListExpr()
634 void ExprEngine::VisitGuardedExpr(const Expr *Ex, in VisitGuardedExpr()
696 void ExprEngine::
715 void ExprEngine::
[all …]
|
| D | CMakeLists.txt | 22 ExprEngine.cpp
|
| D | Android.mk | 31 ExprEngine.cpp \
|
| D | BugReporterVisitors.cpp | 301 ExprEngine &Eng = BRC.getBugReporter().getEngine(); in visitNodeInitial()
338 ExprEngine &Eng = BRC.getBugReporter().getEngine(); in visitNodeMaybeUnsuppress()
1527 ExprEngine &Eng = BRC.getBugReporter().getEngine(); in getEndPath()
|
| /external/clang/include/clang/StaticAnalyzer/Core/ |
| D | CheckerManager.h | 33 class ExprEngine; variable
239 ExprEngine &Eng) { in runCheckersForPreStmt()
252 ExprEngine &Eng,
260 const Stmt *S, ExprEngine &Eng,
267 ExprEngine &Eng) { in runCheckersForPreObjCMessage()
275 ExprEngine &Eng,
285 const ObjCMethodCall &msg, ExprEngine &Eng,
290 const CallEvent &Call, ExprEngine &Eng) { in runCheckersForPreCall()
296 const CallEvent &Call, ExprEngine &Eng,
305 const CallEvent &Call, ExprEngine &Eng,
[all …]
|
| D | Checker.h | 218 BugReporter &BR, ExprEngine &Eng) { in _checkEndAnalysis()
|
| /external/clang/lib/StaticAnalyzer/Frontend/ |
| D | AnalysisConsumer.cpp | 243 ExprEngine::InliningModes IMode) { in DisplayFunction()
257 case ExprEngine::Inline_Minimal: in DisplayFunction()
260 case ExprEngine::Inline_Regular: in DisplayFunction()
309 ExprEngine::InliningModes
323 ExprEngine::InliningModes IMode = ExprEngine::Inline_Minimal,
327 ExprEngine::InliningModes IMode,
330 ExprEngine::InliningModes IMode,
436 ExprEngine::InliningModes
447 return ExprEngine::Inline_Minimal; in getInliningModeForFunction()
450 return ExprEngine::Inline_Regular; in getInliningModeForFunction()
[all …]
|
| /external/clang/include/clang/StaticAnalyzer/Checkers/ |
| D | LocalCheckers.h | 21 class ExprEngine; variable
23 void RegisterCallInliner(ExprEngine &Eng);
|
| /external/clang/test/SemaTemplate/ |
| D | instantiate-member-expr.cpp | 12 class ExprEngine { class
25 void f(ExprEngine& Eng) { in f()
|
| /external/clang/docs/analyzer/ |
| D | IPA.txt | 18 instance methods when ExprEngine is confident about the dynamic type of the
118 ExprEngine::inlineCall and ExprEngine::processCallExit.
132 2. ExprEngine takes over (in processCallExit) and finds the return value of the
158 ReplayWithoutInlining bit added to it (ExprEngine::replayWithoutInlining). The
185 processed by the ExprEngine. Thus, if the CFG was built without nodes for
191 - In C++, ExprEngine does not inline custom implementations of operator 'new'
258 parlance), which ExprEngine uses to decide whether or not the call should be
287 ExprEngine::BifurcateCall implements the -analyzer-config ipa=dynamic-bifurcate
291 (RuntimeDefinition::mayHaveOtherDefinitions() evaluates to TRUE), ExprEngine
300 called. When this mode is set, ExprEngine uses the Decl from
[all …]
|
| /external/clang/lib/StaticAnalyzer/Checkers/ |
| D | AnalyzerStatsChecker.cpp | 37 void checkEndAnalysis(ExplodedGraph &G, BugReporter &B,ExprEngine &Eng) const;
43 ExprEngine &Eng) const { in checkEndAnalysis()
|
| D | UnreachableCodeChecker.cpp | 40 ExprEngine &Eng) const;
55 ExprEngine &Eng) const { in checkEndAnalysis()
|
| D | CheckerDocumentation.cpp | 174 ExprEngine &Eng) const {} in checkEndAnalysis()
|
| D | DebugCheckers.cpp | 202 void checkEndAnalysis(ExplodedGraph &G, BugReporter &B,ExprEngine &Eng) const { in checkEndAnalysis()
|
| /external/clang/include/clang/StaticAnalyzer/Core/BugReporter/ |
| D | BugReporter.h | 46 class ExprEngine; variable
487 ExprEngine& Eng;
489 GRBugReporter(BugReporterData& d, ExprEngine& eng)
496 ExprEngine &getEngine() { return Eng; }
|
| D | BugType.h | 29 class ExprEngine; variable
|
| /external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| D | CheckerContext.h | 71 ExprEngine &Eng;
88 ExprEngine &eng,
|
| D | ExprEngine.h | 48 class ExprEngine : public SubEngine {
100 ExprEngine(AnalysisManager &mgr, bool gcEnabled,
105 ~ExprEngine();
|
| D | CoreEngine.h | 46 friend class ExprEngine; variable
|
| /external/clang/lib/StaticAnalyzer/ |
| D | README.txt | 74 is constructed into. See ExprEngine::VisitCXXConstructExpr().
76 In ExprEngine::processCallExit(), we always bind the object region to the
|