| /external/clang/include/clang/StaticAnalyzer/Checkers/ |
| H A D | LocalCheckers.h | 21 class ExprEngine;
23 void RegisterCallInliner(ExprEngine &Eng);
|
| /external/clang/include/clang/StaticAnalyzer/Core/BugReporter/ |
| H A D | BugReporter.h | 46 class ExprEngine;
487 ExprEngine& Eng;
489 GRBugReporter(BugReporterData& d, ExprEngine& eng)
496 ExprEngine &getEngine() { return Eng; }
|
| H A D | BugType.h | 29 class ExprEngine;
|
| /external/clang/include/clang/StaticAnalyzer/Core/ |
| H A D | Checker.h | 218 BugReporter &BR, ExprEngine &Eng) {
|
| H A D | CheckerManager.h | 33 class ExprEngine;
239 ExprEngine &Eng) {
252 ExprEngine &Eng,
260 const Stmt *S, ExprEngine &Eng,
267 ExprEngine &Eng) {
275 ExprEngine &Eng,
285 const ObjCMethodCall &msg, ExprEngine &Eng,
290 const CallEvent &Call, ExprEngine &Eng) {
296 const CallEvent &Call, ExprEngine &Eng,
305 const CallEvent &Call, ExprEngine
[all...] |
| /external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| H A D | CheckerContext.h | 18 #include "clang/StaticAnalyzer/Core/PathSensitive/ExprEngine.h"
71 ExprEngine &Eng;
88 ExprEngine &eng,
|
| H A D | CoreEngine.h | 46 friend class ExprEngine;
|
| H A D | ExprEngine.h | 1 //===-- ExprEngine.h - Path-Sensitive Expression-Level Dataflow ---*- C++ -*-=//
48 class ExprEngine : public SubEngine { class in namespace:clang::ento
89 /// destructor is called before the rest of the ExprEngine is destroyed.
100 ExprEngine(AnalysisManager &mgr, bool gcEnabled,
105 ~ExprEngine();
|
| /external/clang/lib/StaticAnalyzer/Checkers/ |
| H A D | AnalyzerStatsChecker.cpp | 18 #include "clang/StaticAnalyzer/Core/PathSensitive/ExprEngine.h"
37 void checkEndAnalysis(ExplodedGraph &G, BugReporter &B,ExprEngine &Eng) const;
43 ExprEngine &Eng) const {
|
| H A D | CheckerDocumentation.cpp | 174 ExprEngine &Eng) const {}
|
| H A D | DebugCheckers.cpp | 21 #include "clang/StaticAnalyzer/Core/PathSensitive/ExprEngine.h"
202 void checkEndAnalysis(ExplodedGraph &G, BugReporter &B,ExprEngine &Eng) const {
|
| H A D | UnreachableCodeChecker.cpp | 40 ExprEngine &Eng) const;
55 ExprEngine &Eng) const {
|
| /external/clang/lib/StaticAnalyzer/Core/ |
| H A D | Android.mk | 31 ExprEngine.cpp \
|
| H A D | BugReporterVisitors.cpp | 21 #include "clang/StaticAnalyzer/Core/PathSensitive/ExprEngine.h"
301 ExprEngine &Eng = BRC.getBugReporter().getEngine();
338 ExprEngine &Eng = BRC.getBugReporter().getEngine();
1527 ExprEngine &Eng = BRC.getBugReporter().getEngine();
|
| H A D | 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
[all...] |
| H A D | ExprEngine.cpp | 1 //=-- ExprEngine.cpp - Path-Sensitive Expression-Level Dataflow ---*- C++ -*-=
16 #include "clang/StaticAnalyzer/Core/PathSensitive/ExprEngine.h"
41 #define DEBUG_TYPE "ExprEngine"
58 static const char* TagProviderName = "ExprEngine";
60 ExprEngine::ExprEngine(AnalysisManager &mgr, bool gcEnabled, function in class:ExprEngine
86 ExprEngine::~ExprEngine() {
94 ProgramStateRef ExprEngine::getInitialState(const LocationContext *InitLoc) {
173 ExprEngine
[all...] |
| H A D | 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,
187 void ExprEngine::VisitBlockExpr(const BlockExpr *BE, ExplodedNode *Pred,
227 void ExprEngine::VisitCast(const CastExpr *CastE, const Expr *Ex,
410 void ExprEngine::VisitCompoundLiteralExpr(const CompoundLiteralExpr *CL,
443 void ExprEngine::VisitDeclStmt(const DeclStmt *DS, ExplodedNode *Pred,
516 void ExprEngine::VisitLogicalExpr(const BinaryOperator* B, ExplodedNode *Pred,
585 void ExprEngine
[all...] |
| H A D | 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,
107 const CXXConstructExpr *CE, ExplodedNode *Pred, ExprEngine &Eng,
168 // ExprEngine::VisitCXXConstructExpr.
177 void ExprEngine::VisitCXXConstructExpr(const CXXConstructExpr *CE,
299 void ExprEngine::VisitCXXDestructor(QualType ObjectType,
344 void ExprEngine
[all...] |
| H A D | ExprEngineCallAndReturn.cpp | 10 // This file defines ExprEngine's support for calls and returns.
14 #include "clang/StaticAnalyzer/Core/PathSensitive/ExprEngine.h"
29 #define DEBUG_TYPE "ExprEngine"
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
[all...] |
| H A D | 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,
|
| /external/clang/lib/StaticAnalyzer/Frontend/ |
| H A D | AnalysisConsumer.cpp | 34 #include "clang/StaticAnalyzer/Core/PathSensitive/ExprEngine.h"
243 ExprEngine::InliningModes IMode) {
257 case ExprEngine::Inline_Minimal:
260 case ExprEngine::Inline_Regular:
309 ExprEngine::InliningModes
323 ExprEngine::InliningModes IMode = ExprEngine::Inline_Minimal,
327 ExprEngine::InliningModes IMode,
330 ExprEngine::InliningModes IMode,
436 ExprEngine
[all...] |
| /external/clang/test/SemaTemplate/ |
| H A D | instantiate-member-expr.cpp | 12 class ExprEngine { class
25 void f(ExprEngine& Eng) {
26 Eng.registerCheck(new RetainReleaseChecker); // expected-note {{in instantiation of function template specialization 'ExprEngine::registerCheck<RetainReleaseChecker>' requested here}}
|