/freebsd-10.0-release/contrib/llvm/tools/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
H A D | CheckerContext.h | 71 ExprEngine &Eng; member in class:clang::ento::CheckerContext [all...] |
H A D | CoreEngine.h | 185 const CoreEngine &Eng; member in struct:clang::ento::NodeBuilderContext 448 CoreEngine& Eng; member in class:clang::ento::IndirectGotoNodeBuilder 495 CoreEngine& Eng; member in class:clang::ento::SwitchNodeBuilder
|
H A D | ProgramState.h | 442 SubEngine *Eng; /* Can be null. */ member in class:clang::ento::ProgramStateManager
|
/freebsd-10.0-release/contrib/llvm/tools/clang/lib/StaticAnalyzer/Core/ |
H A D | RangeConstraintManager.cpp | 330 ento::CreateRangeConstraintManager(ProgramStateManager &StMgr, SubEngine *Eng) { argument
|
H A D | BugReporterVisitors.cpp | 215 SubEngine *Eng = State->getStateManager().getOwningEngine(); local 301 ExprEngine &Eng = BRC.getBugReporter().getEngine(); local 338 ExprEngine &Eng = BRC.getBugReporter().getEngine(); local 786 SubEngine *Eng = N->getState()->getStateManager().getOwningEngine(); local 1524 ExprEngine &Eng = BRC.getBugReporter().getEngine(); local [all...] |
H A D | CheckerManager.cpp | 141 ExprEngine &Eng; member in struct:__anon3432::CheckStmtContext 183 ExprEngine &Eng; member in struct:__anon3433::CheckObjCMessageContext 166 runCheckersForStmt(bool isPreVisit, ExplodedNodeSet &Dst, const ExplodedNodeSet &Src, const Stmt *S, ExprEngine &Eng, bool WasInlined) argument 205 runCheckersForObjCMessage(bool isPreVisit, ExplodedNodeSet &Dst, const ExplodedNodeSet &Src, const ObjCMethodCall &msg, ExprEngine &Eng, bool WasInlined) argument 226 ExprEngine &Eng; member in struct:__anon3434::CheckCallContext 248 runCheckersForCallEvent(bool isPreVisit, ExplodedNodeSet &Dst, const ExplodedNodeSet &Src, const CallEvent &Call, ExprEngine &Eng, bool WasInlined) argument 269 ExprEngine &Eng; member in struct:__anon3435::CheckLocationContext 297 runCheckersForLocation(ExplodedNodeSet &Dst, const ExplodedNodeSet &Src, SVal location, bool isLoad, const Stmt *NodeEx, const Stmt *BoundEx, ExprEngine &Eng) argument 315 ExprEngine &Eng; member in struct:__anon3436::CheckBindContext 337 runCheckersForBind(ExplodedNodeSet &Dst, const ExplodedNodeSet &Src, SVal location, SVal val, const Stmt *S, ExprEngine &Eng, const ProgramPoint &PP) argument 346 runCheckersForEndAnalysis(ExplodedGraph &G, BugReporter &BR, ExprEngine &Eng) argument 356 runCheckersForEndFunction(NodeBuilderContext &BC, ExplodedNodeSet &Dst, ExplodedNode *Pred, ExprEngine &Eng) argument 381 ExprEngine &Eng; member in struct:__anon3437::CheckBranchConditionContext 401 runCheckersForBranchCondition(const Stmt *Condition, ExplodedNodeSet &Dst, ExplodedNode *Pred, ExprEngine &Eng) argument 424 ExprEngine &Eng; member in struct:__anon3438::CheckDeadSymbolsContext 450 runCheckersForDeadSymbols(ExplodedNodeSet &Dst, const ExplodedNodeSet &Src, SymbolReaper &SymReaper, const Stmt *S, ExprEngine &Eng, ProgramPoint::Kind K) argument 524 runCheckersForEvalCall(ExplodedNodeSet &Dst, const ExplodedNodeSet &Src, const CallEvent &Call, ExprEngine &Eng) argument [all...] |
H A D | ProgramState.cpp | 193 SubEngine* Eng = Mgr.getOwningEngine(); local
|
/freebsd-10.0-release/contrib/llvm/tools/clang/include/clang/StaticAnalyzer/Core/ |
H A D | Checker.h | 217 _checkEndAnalysis(void *checker, ExplodedGraph &G, BugReporter &BR, ExprEngine &Eng) argument
|
H A D | CheckerManager.h | 215 runCheckersForPreStmt(ExplodedNodeSet &Dst, const ExplodedNodeSet &Src, const Stmt *S, ExprEngine &Eng) argument 228 runCheckersForPostStmt(ExplodedNodeSet &Dst, const ExplodedNodeSet &Src, const Stmt *S, ExprEngine &Eng, bool wasInlined = false) argument 243 runCheckersForPreObjCMessage(ExplodedNodeSet &Dst, const ExplodedNodeSet &Src, const ObjCMethodCall &msg, ExprEngine &Eng) argument 251 runCheckersForPostObjCMessage(ExplodedNodeSet &Dst, const ExplodedNodeSet &Src, const ObjCMethodCall &msg, ExprEngine &Eng, bool wasInlined = false) argument 268 runCheckersForPreCall(ExplodedNodeSet &Dst, const ExplodedNodeSet &Src, const CallEvent &Call, ExprEngine &Eng) argument 274 runCheckersForPostCall(ExplodedNodeSet &Dst, const ExplodedNodeSet &Src, const CallEvent &Call, ExprEngine &Eng, bool wasInlined = false) argument [all...] |
/freebsd-10.0-release/contrib/llvm/tools/clang/include/clang/StaticAnalyzer/Core/BugReporter/ |
H A D | BugReporter.h | 490 ExprEngine& Eng; member in class:clang::ento::GRBugReporter
|