Searched defs:StateMgr (Results 1 - 8 of 8) sorted by relevance

/freebsd-10.1-release/contrib/llvm/tools/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
H A DExprEngine.h70 ProgramStateManager StateMgr; member in class:clang::ento::ExprEngine
H A DSValBuilder.h45 ProgramStateManager &StateMgr; member in class:clang::ento::SValBuilder
H A DStore.h43 ProgramStateManager &StateMgr; member in class:clang::ento::StoreManager
/freebsd-10.1-release/contrib/llvm/tools/clang/lib/StaticAnalyzer/Core/
H A DBugReporterVisitors.cpp356 ProgramStateManager &StateMgr = BRC.getStateManager(); local
512 ProgramStateManager &StateMgr = BRC.getStateManager(); local
1121 ProgramStateManager &StateMgr = state->getStateManager(); local
H A DCallEvent.cpp498 ProgramStateManager &StateMgr = getState()->getStateManager(); local
H A DExprEngine.cpp189 ProgramStateManager &StateMgr = State->getStateManager(); local
1294 RecoverCastedSymbol(ProgramStateManager& StateMgr, ProgramStateRef state, const Stmt *Condition, const LocationContext *LCtx, ASTContext &Ctx) argument
[all...]
H A DRegionStore.cpp685 ClusterAnalysis(RegionStoreManager &rm, ProgramStateManager &StateMgr, argument
/freebsd-10.1-release/contrib/llvm/tools/clang/lib/StaticAnalyzer/Checkers/
H A DRetainCountChecker.cpp2077 GetAllocationSite(ProgramStateManager& StateMgr, const ExplodedNode *N, argument

Completed in 136 milliseconds