Home
last modified time | relevance | path

Searched defs:stateMgr (Results 1 – 5 of 5) sorted by relevance

/llvm-project/clang/lib/StaticAnalyzer/Core/
H A DStore.cpp42 StoreManager::StoreManager(ProgramStateManager &stateMgr) in StoreManager() argument
H A DSimpleSValBuilder.cpp67 SimpleSValBuilder(llvm::BumpPtrAllocator & alloc,ASTContext & context,ProgramStateManager & stateMgr) SimpleSValBuilder() argument
102 createSimpleSValBuilder(llvm::BumpPtrAllocator & alloc,ASTContext & context,ProgramStateManager & stateMgr) createSimpleSValBuilder() argument
H A DSValBuilder.cpp53 ProgramStateManager &stateMgr) in SValBuilder() argument
H A DRegionStore.cpp987 InvalidateRegionsWorker(RegionStoreManager & rm,ProgramStateManager & stateMgr,RegionBindingsRef b,const Expr * ex,unsigned count,const LocationContext * lctx,InvalidatedSymbols & is,RegionAndSymbolInvalidationTraits & ITraitsIn,StoreManager::InvalidatedRegions * r,GlobalsFilterKind GFK) InvalidateRegionsWorker() argument
2747 RemoveDeadBindingsWorker(RegionStoreManager & rm,ProgramStateManager & stateMgr,RegionBindingsRef b,SymbolReaper & symReaper,const StackFrameContext * LCtx) RemoveDeadBindingsWorker() argument
/llvm-project/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
H A DProgramState.h84 ProgramStateManager *stateMgr; global() variable