/freebsd-10.0-release/contrib/llvm/tools/clang/include/clang/StaticAnalyzer/Checkers/ |
H A D | LocalCheckers.h | 21 class ExprEngine; 23 void RegisterCallInliner(ExprEngine &Eng);
|
/freebsd-10.0-release/contrib/llvm/tools/clang/include/clang/StaticAnalyzer/Core/ |
H A D | 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 [all...] |
H A D | Checker.h | 218 BugReporter &BR, ExprEngine &Eng) {
|
/freebsd-10.0-release/contrib/llvm/tools/clang/include/clang/StaticAnalyzer/Core/BugReporter/ |
H A D | BugType.h | 27 class ExprEngine;
|
H A D | BugReporter.h | 44 class ExprEngine; 490 ExprEngine& Eng; 492 GRBugReporter(BugReporterData& d, ExprEngine& eng) 499 ExprEngine &getEngine() { return Eng; }
|
/freebsd-10.0-release/contrib/llvm/tools/clang/lib/StaticAnalyzer/Frontend/ |
H A D | AnalysisConsumer.cpp | 36 #include "clang/StaticAnalyzer/Core/PathSensitive/ExprEngine.h" 223 ExprEngine::InliningModes IMode) { 237 case ExprEngine::Inline_Minimal: 240 case ExprEngine::Inline_Regular: 289 ExprEngine::InliningModes 303 ExprEngine::InliningModes IMode = ExprEngine::Inline_Minimal, 307 ExprEngine::InliningModes IMode, 310 ExprEngine::InliningModes IMode, 411 ExprEngine [all...] |
/freebsd-10.0-release/contrib/llvm/tools/clang/lib/StaticAnalyzer/Core/ |
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 #define DEBUG_TYPE "ExprEngine" 18 #include "clang/StaticAnalyzer/Core/PathSensitive/ExprEngine.h" 57 ExprEngine::ExprEngine(AnalysisManager &mgr, bool gcEnabled, function in class:ExprEngine 83 ExprEngine::~ExprEngine() { 91 ProgramStateRef ExprEngine::getInitialState(const LocationContext *InitLoc) { 170 ExprEngine::createTemporaryRegionIfNeeded(ProgramStateRef State, 236 ProgramStateRef 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,
|
H A D | 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" 39 void ExprEngine::processCallEnter(CallEnter CE, ExplodedNode *Pred) { 156 void ExprEngine::removeDeadOnEndOfFunction(NodeBuilderContext& BC, 215 void ExprEngine::processCallExit(ExplodedNode *CEBNode) { 282 static SimpleProgramPointTag retValBind("ExprEngine : Bind Return Value"); 353 void ExprEngine::examineStackFrames(const Decl *D, const LocationContext *LCtx, 413 bool ExprEngine::inlineCall(const CallEvent &Call, const Decl *D, 479 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, 52 // checker rather than as a special case in ExprEngine. 53 void ExprEngine::performTrivialCopy(NodeBuilder &Bldr, ExplodedNode *Pred, 119 void ExprEngine::VisitCXXConstructExpr(const CXXConstructExpr *CE, 246 void ExprEngine::VisitCXXDestructor(QualType ObjectType, 289 void ExprEngine::VisitCXXNewExpr(const CXXNewExpr *CNE, ExplodedNode *Pred, 393 void ExprEngine::VisitCXXDeleteExpr(const CXXDeleteExpr *CDE, 400 void 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, 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 [all...] |
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(); 1524 ExprEngine &Eng = BRC.getBugReporter().getEngine();
|
/freebsd-10.0-release/contrib/llvm/tools/clang/lib/StaticAnalyzer/Checkers/ |
H A D | AnalyzerStatsChecker.cpp | 20 #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 | UnreachableCodeChecker.cpp | 40 ExprEngine &Eng) const; 55 ExprEngine &Eng) const {
|
H A D | IdempotentOperationChecker.cpp | 76 void checkEndAnalysis(ExplodedGraph &G, BugReporter &B,ExprEngine &Eng) const; 347 ExprEngine &Eng) const {
|
/freebsd-10.0-release/lib/clang/libclangstaticanalyzercore/ |
H A D | Makefile | 25 ExprEngine.cpp \
|
/freebsd-10.0-release/contrib/llvm/tools/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 | ExprEngine.h | 1 //===-- ExprEngine.h - Path-Sensitive Expression-Level Dataflow ---*- C++ -*-=// 49 class ExprEngine : public SubEngine { class in namespace:clang::ento 90 /// destructor is called before the rest of the ExprEngine is destroyed. 101 ExprEngine(AnalysisManager &mgr, bool gcEnabled, 106 ~ExprEngine();
|
H A D | CoreEngine.h | 46 friend class ExprEngine;
|