| /external/clang/include/clang/StaticAnalyzer/Checkers/ |
| LocalCheckers.h | 21 class ExprEngine;
23 void RegisterCallInliner(ExprEngine &Eng);
|
| /external/clang/test/SemaTemplate/ |
| instantiate-member-expr.cpp | 12 class ExprEngine {
25 void f(ExprEngine& Eng) {
26 Eng.registerCheck(new RetainReleaseChecker); // expected-note {{in instantiation of function template specialization 'ExprEngine::registerCheck<RetainReleaseChecker>' requested here}}
|
| /external/clang/include/clang/StaticAnalyzer/Core/ |
| CheckerManager.h | 33 class ExprEngine;
218 ExprEngine &Eng) {
231 ExprEngine &Eng,
239 const Stmt *S, ExprEngine &Eng,
246 ExprEngine &Eng) {
254 ExprEngine &Eng,
264 const ObjCMethodCall &msg, ExprEngine &Eng,
269 const CallEvent &Call, ExprEngine &Eng) {
275 const CallEvent &Call, ExprEngine &Eng,
284 const CallEvent &Call, ExprEngine &Eng
[all...] |
| Checker.h | 218 BugReporter &BR, ExprEngine &Eng) {
|
| /external/clang/include/clang/StaticAnalyzer/Core/BugReporter/ |
| BugType.h | 27 class ExprEngine;
|
| BugReporter.h | 45 class ExprEngine;
494 ExprEngine& Eng;
496 GRBugReporter(BugReporterData& d, ExprEngine& eng)
503 ExprEngine &getEngine() { return Eng; }
|
| /external/clang/lib/StaticAnalyzer/Frontend/ |
| AnalysisConsumer.cpp | 36 #include "clang/StaticAnalyzer/Core/PathSensitive/ExprEngine.h"
224 ExprEngine::InliningModes IMode) {
238 case ExprEngine::Inline_Minimal:
241 case ExprEngine::Inline_Regular:
290 ExprEngine::InliningModes
304 ExprEngine::InliningModes IMode = ExprEngine::Inline_Minimal,
308 ExprEngine::InliningModes IMode,
311 ExprEngine::InliningModes IMode,
412 ExprEngine::InliningMode
[all...] |
| /external/clang/lib/StaticAnalyzer/Core/ |
| CheckerManager.cpp | 141 ExprEngine &Eng;
148 const Stmt *s, ExprEngine &eng, bool wasInlined = false)
170 ExprEngine &Eng,
183 ExprEngine &Eng;
189 const ObjCMethodCall &msg, ExprEngine &eng,
209 ExprEngine &Eng,
226 ExprEngine &Eng;
232 const CallEvent &call, ExprEngine &eng,
252 ExprEngine &Eng,
269 ExprEngine &Eng
[all...] |
| ExprEngine.cpp | 1 //=-- ExprEngine.cpp - Path-Sensitive Expression-Level Dataflow ---*- C++ -*-=
16 #define DEBUG_TYPE "ExprEngine"
18 #include "clang/StaticAnalyzer/Core/PathSensitive/ExprEngine.h"
58 ExprEngine::ExprEngine(AnalysisManager &mgr, bool gcEnabled,
84 ExprEngine::~ExprEngine() {
92 ProgramStateRef ExprEngine::getInitialState(const LocationContext *InitLoc) {
171 ExprEngine::createTemporaryRegionIfNeeded(ProgramStateRef State,
248 ProgramStateRef ExprEngine::processAssume(ProgramStateRef state
[all...] |
| ExprEngineObjC.cpp | 1 //=-- ExprEngineObjC.cpp - ExprEngine support for Objective-C ---*- C++ -*-===//
10 // This file defines ExprEngine's support for Objective-C expressions.
17 #include "clang/StaticAnalyzer/Core/PathSensitive/ExprEngine.h"
22 void ExprEngine::VisitLvalObjCIvarRefExpr(const ObjCIvarRefExpr *Ex,
39 void ExprEngine::VisitObjCAtSynchronizedStmt(const ObjCAtSynchronizedStmt *S,
45 void ExprEngine::VisitObjCForCollectionStmt(const ObjCForCollectionStmt *S,
135 void ExprEngine::VisitObjCMessage(const ObjCMessageExpr *ME,
|
| ExprEngineCallAndReturn.cpp | 10 // This file defines ExprEngine's support for calls and returns.
14 #define DEBUG_TYPE "ExprEngine"
16 #include "clang/StaticAnalyzer/Core/PathSensitive/ExprEngine.h"
40 void ExprEngine::processCallEnter(CallEnter CE, ExplodedNode *Pred) {
159 void ExprEngine::removeDeadOnEndOfFunction(NodeBuilderContext& BC,
218 void ExprEngine::processCallExit(ExplodedNode *CEBNode) {
285 static SimpleProgramPointTag retValBind("ExprEngine : Bind Return Value");
356 void ExprEngine::examineStackFrames(const Decl *D, const LocationContext *LCtx,
416 bool ExprEngine::inlineCall(const CallEvent &Call, const Decl *D,
482 void ExprEngine::VisitCallExpr(const CallExpr *CE, ExplodedNode *Pred
[all...] |
| Android.mk | 30 ExprEngine.cpp \
|
| ExprEngineCXX.cpp | 1 //===- ExprEngineCXX.cpp - ExprEngine support for C++ -----------*- C++ -*-===//
14 #include "clang/StaticAnalyzer/Core/PathSensitive/ExprEngine.h"
25 void ExprEngine::CreateCXXTemporaryObject(const MaterializeTemporaryExpr *ME,
38 // checker rather than as a special case in ExprEngine.
39 void ExprEngine::performTrivialCopy(NodeBuilder &Bldr, ExplodedNode *Pred,
105 void ExprEngine::VisitCXXConstructExpr(const CXXConstructExpr *CE,
281 void ExprEngine::VisitCXXDestructor(QualType ObjectType,
324 void ExprEngine::VisitCXXNewExpr(const CXXNewExpr *CNE, ExplodedNode *Pred,
426 void ExprEngine::VisitCXXDeleteExpr(const CXXDeleteExpr *CDE,
433 void ExprEngine::VisitCXXCatchStmt(const CXXCatchStmt *CS
[all...] |
| ExprEngineC.cpp | 1 //=-- ExprEngineC.cpp - ExprEngine support for C expressions ----*- C++ -*-===//
10 // This file defines ExprEngine's support for C expressions.
16 #include "clang/StaticAnalyzer/Core/PathSensitive/ExprEngine.h"
22 void ExprEngine::VisitBinaryOperator(const BinaryOperator* B,
180 void ExprEngine::VisitBlockExpr(const BlockExpr *BE, ExplodedNode *Pred,
219 void ExprEngine::VisitCast(const CastExpr *CastE, const Expr *Ex,
401 void ExprEngine::VisitCompoundLiteralExpr(const CompoundLiteralExpr *CL,
434 void ExprEngine::VisitDeclStmt(const DeclStmt *DS, ExplodedNode *Pred,
504 void ExprEngine::VisitLogicalExpr(const BinaryOperator* B, ExplodedNode *Pred,
573 void ExprEngine::VisitInitListExpr(const InitListExpr *IE
[all...] |
| BugReporterVisitors.cpp | 21 #include "clang/StaticAnalyzer/Core/PathSensitive/ExprEngine.h"
301 ExprEngine &Eng = BRC.getBugReporter().getEngine();
338 ExprEngine &Eng = BRC.getBugReporter().getEngine();
[all...] |
| /external/clang/lib/StaticAnalyzer/Checkers/ |
| AnalyzerStatsChecker.cpp | 20 #include "clang/StaticAnalyzer/Core/PathSensitive/ExprEngine.h"
37 void checkEndAnalysis(ExplodedGraph &G, BugReporter &B,ExprEngine &Eng) const;
43 ExprEngine &Eng) const {
|
| CheckerDocumentation.cpp | 174 ExprEngine &Eng) const {}
|
| UnreachableCodeChecker.cpp | 40 ExprEngine &Eng) const;
55 ExprEngine &Eng) const {
|
| DebugCheckers.cpp | 21 #include "clang/StaticAnalyzer/Core/PathSensitive/ExprEngine.h"
193 void checkEndAnalysis(ExplodedGraph &G, BugReporter &B,ExprEngine &Eng) const {
|
| IdempotentOperationChecker.cpp | 76 void checkEndAnalysis(ExplodedGraph &G, BugReporter &B,ExprEngine &Eng) const;
347 ExprEngine &Eng) const {
|
| /external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| CheckerContext.h | 18 #include "clang/StaticAnalyzer/Core/PathSensitive/ExprEngine.h"
71 ExprEngine &Eng;
88 ExprEngine &eng,
|
| ExprEngine.h | 1 //===-- ExprEngine.h - Path-Sensitive Expression-Level Dataflow ---*- C++ -*-=//
49 class ExprEngine : public SubEngine {
90 /// destructor is called before the rest of the ExprEngine is destroyed.
101 ExprEngine(AnalysisManager &mgr, bool gcEnabled,
106 ~ExprEngine();
|
| CoreEngine.h | 46 friend class ExprEngine;
|
