| /freebsd-11.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 | 180 const CoreEngine &Eng; member in struct:clang::ento::NodeBuilderContext
445 CoreEngine& Eng; member in class:clang::ento::IndirectGotoNodeBuilder
492 CoreEngine& Eng; member in class:clang::ento::SwitchNodeBuilder
|
| H A D | ProgramState.h | 449 SubEngine *Eng; /* Can be null. */ member in class:clang::ento::ProgramStateManager
|
| /freebsd-11.0-release/contrib/llvm/tools/clang/lib/StaticAnalyzer/Core/ |
| H A D | RangeConstraintManager.cpp | 363 ento::CreateRangeConstraintManager(ProgramStateManager &StMgr, SubEngine *Eng) { argument
|
| H A D | ProgramState.cpp | 177 SubEngine* Eng = Mgr.getOwningEngine(); local
|
| H A D | BugReporterVisitors.cpp | 210 SubEngine *Eng = State->getStateManager().getOwningEngine(); local
297 ExprEngine &Eng = BRC.getBugReporter().getEngine(); local
334 ExprEngine &Eng = BRC.getBugReporter().getEngine(); local
786 SubEngine *Eng = N->getState()->getStateManager().getOwningEngine(); local
1517 ExprEngine &Eng = BRC.getBugReporter().getEngine(); local
[all...] |
| H A D | CheckerManager.cpp | 141 ExprEngine &Eng; member in struct:__anon4242::CheckStmtContext
185 ExprEngine &Eng; member in struct:__anon4243::CheckObjCMessageContext
166 runCheckersForStmt(bool isPreVisit, ExplodedNodeSet &Dst, const ExplodedNodeSet &Src, const Stmt *S, ExprEngine &Eng, bool WasInlined) argument
221 runCheckersForObjCMessage(ObjCMessageVisitKind visitKind, ExplodedNodeSet &Dst, const ExplodedNodeSet &Src, const ObjCMethodCall &msg, ExprEngine &Eng, bool WasInlined) argument
253 ExprEngine &Eng; member in struct:__anon4244::CheckCallContext
275 runCheckersForCallEvent(bool isPreVisit, ExplodedNodeSet &Dst, const ExplodedNodeSet &Src, const CallEvent &Call, ExprEngine &Eng, bool WasInlined) argument
296 ExprEngine &Eng; member in struct:__anon4245::CheckLocationContext
324 runCheckersForLocation(ExplodedNodeSet &Dst, const ExplodedNodeSet &Src, SVal location, bool isLoad, const Stmt *NodeEx, const Stmt *BoundEx, ExprEngine &Eng) argument
342 ExprEngine &Eng; member in struct:__anon4246::CheckBindContext
364 runCheckersForBind(ExplodedNodeSet &Dst, const ExplodedNodeSet &Src, SVal location, SVal val, const Stmt *S, ExprEngine &Eng, const ProgramPoint &PP) argument
373 runCheckersForEndAnalysis(ExplodedGraph &G, BugReporter &BR, ExprEngine &Eng) argument
383 runCheckersForEndFunction(NodeBuilderContext &BC, ExplodedNodeSet &Dst, ExplodedNode *Pred, ExprEngine &Eng) argument
408 ExprEngine &Eng; member in struct:__anon4247::CheckBranchConditionContext
428 runCheckersForBranchCondition(const Stmt *Condition, ExplodedNodeSet &Dst, ExplodedNode *Pred, ExprEngine &Eng) argument
451 ExprEngine &Eng; member in struct:__anon4248::CheckDeadSymbolsContext
477 runCheckersForDeadSymbols(ExplodedNodeSet &Dst, const ExplodedNodeSet &Src, SymbolReaper &SymReaper, const Stmt *S, ExprEngine &Eng, ProgramPoint::Kind K) argument
551 runCheckersForEvalCall(ExplodedNodeSet &Dst, const ExplodedNodeSet &Src, const CallEvent &Call, ExprEngine &Eng) argument
[all...] |
| /freebsd-11.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
|
| /freebsd-11.0-release/contrib/llvm/tools/clang/include/clang/StaticAnalyzer/Core/ |
| H A D | Checker.h | 228 _checkEndAnalysis(void *checker, ExplodedGraph &G, BugReporter &BR, ExprEngine &Eng) argument
|
| H A D | CheckerManager.h | 188 runCheckersForPreStmt(ExplodedNodeSet &Dst, const ExplodedNodeSet &Src, const Stmt *S, ExprEngine &Eng) argument
201 runCheckersForPostStmt(ExplodedNodeSet &Dst, const ExplodedNodeSet &Src, const Stmt *S, ExprEngine &Eng, bool wasInlined = false) argument
216 runCheckersForPreObjCMessage(ExplodedNodeSet &Dst, const ExplodedNodeSet &Src, const ObjCMethodCall &msg, ExprEngine &Eng) argument
224 runCheckersForPostObjCMessage(ExplodedNodeSet &Dst, const ExplodedNodeSet &Src, const ObjCMethodCall &msg, ExprEngine &Eng, bool wasInlined = false) argument
234 runCheckersForObjCMessageNil(ExplodedNodeSet &Dst, const ExplodedNodeSet &Src, const ObjCMethodCall &msg, ExprEngine &Eng) argument
251 runCheckersForPreCall(ExplodedNodeSet &Dst, const ExplodedNodeSet &Src, const CallEvent &Call, ExprEngine &Eng) argument
257 runCheckersForPostCall(ExplodedNodeSet &Dst, const ExplodedNodeSet &Src, const CallEvent &Call, ExprEngine &Eng, bool wasInlined = false) argument
[all...] |