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

/freebsd-10.0-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.0-release/contrib/llvm/tools/clang/lib/StaticAnalyzer/Core/
H A DCallEvent.cpp471 ProgramStateManager &StateMgr = getState()->getStateManager(); local
H A DBugReporterVisitors.cpp356 ProgramStateManager &StateMgr = BRC.getStateManager(); local
512 ProgramStateManager &StateMgr = BRC.getStateManager(); local
1114 ProgramStateManager &StateMgr = state->getStateManager(); local
H A DExprEngine.cpp188 ProgramStateManager &StateMgr = State->getStateManager(); local
1232 RecoverCastedSymbol(ProgramStateManager& StateMgr, ProgramStateRef state, const Stmt *Condition, const LocationContext *LCtx, ASTContext &Ctx) argument
[all...]
H A DRegionStore.cpp679 ClusterAnalysis(RegionStoreManager &rm, ProgramStateManager &StateMgr, argument
/freebsd-10.0-release/contrib/llvm/tools/clang/lib/StaticAnalyzer/Checkers/
H A DRetainCountChecker.cpp2154 GetAllocationSite(ProgramStateManager& StateMgr, const ExplodedNode *N, argument

Completed in 108 milliseconds