| /external/clang/include/clang/StaticAnalyzer/Checkers/ |
| LocalCheckers.h | 21 class ExprEngine;
23 void RegisterCallInliner(ExprEngine &Eng);
|
| /external/clang/include/clang/StaticAnalyzer/Core/ |
| CheckerManager.h | 33 class ExprEngine;
191 ExprEngine &Eng) {
204 ExprEngine &Eng,
212 const Stmt *S, ExprEngine &Eng,
219 ExprEngine &Eng) {
227 ExprEngine &Eng,
237 ExprEngine &Eng) {
247 const ObjCMethodCall &msg, ExprEngine &Eng,
252 const CallEvent &Call, ExprEngine &Eng) {
258 const CallEvent &Call, ExprEngine &Eng
[all...] |
| Checker.h | 229 BugReporter &BR, 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/lib/StaticAnalyzer/Frontend/ |
| AnalysisConsumer.cpp | 37 #include "clang/StaticAnalyzer/Core/PathSensitive/ExprEngine.h"
248 ExprEngine::InliningModes IMode) {
262 case ExprEngine::Inline_Minimal:
265 case ExprEngine::Inline_Regular:
310 ExprEngine::InliningModes
324 ExprEngine::InliningModes IMode = ExprEngine::Inline_Minimal,
328 ExprEngine::InliningModes IMode,
331 ExprEngine::InliningModes IMode,
440 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,
185 ExprEngine &Eng;
192 const ObjCMethodCall &msg, ExprEngine &eng,
225 ExprEngine &Eng,
253 ExprEngine &Eng;
259 const CallEvent &call, ExprEngine &eng,
279 ExprEngine &Eng,
296 ExprEngine &Eng
[all...] |
| 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 ExprEngine::getRegionForConstructedObject(const CXXConstructExpr *CE,
151 // ExprEngine::VisitCXXConstructExpr.
178 ExprEngine::findElementDirectlyInitializedByCurrentConstructor() {
204 ExprEngine::findDirectConstructorForCurrentCFGElement() {
233 void ExprEngine::VisitCXXConstructExpr(const CXXConstructExpr *CE
[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 #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,
483 void ExprEngine::VisitCallExpr(const CallExpr *CE, ExplodedNode *Pred
[all...] |
| Android.mk | 35 ExprEngine.cpp \
|
| ExprEngine.cpp | 1 //=-- ExprEngine.cpp - Path-Sensitive Expression-Level Dataflow ---*- C++ -*-=
16 #include "clang/StaticAnalyzer/Core/PathSensitive/ExprEngine.h"
42 #define DEBUG_TYPE "ExprEngine"
68 static const char* TagProviderName = "ExprEngine";
70 ExprEngine::ExprEngine(AnalysisManager &mgr, bool gcEnabled,
96 ExprEngine::~ExprEngine() {
104 ProgramStateRef ExprEngine::getInitialState(const LocationContext *InitLoc) {
183 ExprEngine::createTemporaryRegionIfNeeded(ProgramStateRef State
[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,
187 void ExprEngine::VisitBlockExpr(const BlockExpr *BE, ExplodedNode *Pred,
249 void ExprEngine::VisitCast(const CastExpr *CastE, const Expr *Ex,
432 void ExprEngine::VisitCompoundLiteralExpr(const CompoundLiteralExpr *CL,
465 void ExprEngine::VisitDeclStmt(const DeclStmt *DS, ExplodedNode *Pred,
541 void ExprEngine::VisitLogicalExpr(const BinaryOperator* B, ExplodedNode *Pred,
610 void ExprEngine::VisitInitListExpr(const InitListExpr *IE
[all...] |
| BugReporterVisitors.cpp | 21 #include "clang/StaticAnalyzer/Core/PathSensitive/ExprEngine.h"
297 ExprEngine &Eng = BRC.getBugReporter().getEngine();
334 ExprEngine &Eng = BRC.getBugReporter().getEngine();
[all...] |
| /external/clang/lib/StaticAnalyzer/Checkers/ |
| AnalyzerStatsChecker.cpp | 18 #include "clang/StaticAnalyzer/Core/PathSensitive/ExprEngine.h"
37 void checkEndAnalysis(ExplodedGraph &G, BugReporter &B,ExprEngine &Eng) const;
43 ExprEngine &Eng) const {
|
| CheckerDocumentation.cpp | 184 ExprEngine &Eng) const {}
|
| UnreachableCodeChecker.cpp | 40 ExprEngine &Eng) const;
55 ExprEngine &Eng) const {
|
| DebugCheckers.cpp | 24 #include "clang/StaticAnalyzer/Core/PathSensitive/ExprEngine.h"
205 void checkEndAnalysis(ExplodedGraph &G, BugReporter &B,ExprEngine &Eng) const {
|
| /external/clang/include/clang/StaticAnalyzer/Core/BugReporter/ |
| BugType.h | 29 class ExprEngine;
|
| BugReporter.h | 46 class ExprEngine;
490 ExprEngine& Eng;
492 GRBugReporter(BugReporterData& d, ExprEngine& eng)
499 ExprEngine &getEngine() { return Eng; }
|
| /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++ -*-=//
48 class ExprEngine : public SubEngine {
89 /// destructor is called before the rest of the ExprEngine is destroyed.
100 ExprEngine(AnalysisManager &mgr, bool gcEnabled,
105 ~ExprEngine() override;
|
| CoreEngine.h | 46 friend class ExprEngine;
|
