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

/freebsd-11.0-release/contrib/llvm/tools/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
H A DExprEngine.h69 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-11.0-release/contrib/llvm/tools/clang/lib/StaticAnalyzer/Core/
H A DCallEvent.cpp530 ProgramStateManager &StateMgr = getState()->getStateManager(); local
H A DBugReporterVisitors.cpp352 ProgramStateManager &StateMgr = BRC.getStateManager(); local
508 ProgramStateManager &StateMgr = BRC.getStateManager(); local
1115 ProgramStateManager &StateMgr = state->getStateManager(); local
H A DRegionStore.cpp667 ClusterAnalysis(RegionStoreManager &rm, ProgramStateManager &StateMgr, argument
H A DExprEngine.cpp201 ProgramStateManager &StateMgr = State->getStateManager(); local
1464 RecoverCastedSymbol(ProgramStateManager& StateMgr, ProgramStateRef state, const Stmt *Condition, const LocationContext *LCtx, ASTContext &Ctx) argument
[all...]
/freebsd-11.0-release/contrib/llvm/tools/clang/lib/StaticAnalyzer/Checkers/
H A DRetainCountChecker.cpp2213 GetAllocationSite(ProgramStateManager& StateMgr, const ExplodedNode *N, argument

Completed in 94 milliseconds