Searched defs:StateMgr (Results 1 – 10 of 10) sorted by relevance
56 ProgramStateManager &StateMgr; variable
67 ProgramStateManager &StateMgr; variable
153 ProgramStateManager StateMgr; variable
214 auto &StateMgr = State->getStateManager(); in createIteratorPosition() local
317 ProgramStateManager &StateMgr = State->getStateManager(); in tryRearrange() local
791 ProgramStateManager &StateMgr = getState()->getStateManager(); in getInitialStackFrameContents() local
1169 ProgramStateManager &StateMgr = BRC.getStateManager(); in visitNodeMaybeUnsuppress() local1459 ProgramStateManager &StateMgr = BRC.getStateManager(); in VisitNode() local
727 ClusterAnalysis(RegionStoreManager &rm, ProgramStateManager &StateMgr, in ClusterAnalysis()
336 ProgramStateManager &StateMgr = State->getStateManager(); in createTemporaryRegionIfNeeded() local
671 static AllocationInfo GetAllocationSite(ProgramStateManager &StateMgr, in GetAllocationSite()