Lines Matching refs:MemRegion
202 const MemRegion *lockR,
253 ArrayRef<const MemRegion *> ExplicitRegions,
254 ArrayRef<const MemRegion *> Regions,
284 REGISTER_LIST_WITH_PROGRAMSTATE(LockSet, const MemRegion *) in REGISTER_LIST_WITH_PROGRAMSTATE() argument
287 REGISTER_MAP_WITH_PROGRAMSTATE(LockMap, const MemRegion *, LockState) in REGISTER_LIST_WITH_PROGRAMSTATE()
290 REGISTER_MAP_WITH_PROGRAMSTATE(DestroyRetVal, const MemRegion *, SymbolRef) in REGISTER_LIST_WITH_PROGRAMSTATE()
318 ProgramStateRef state, const MemRegion *lockR, const SymbolRef *sym) const { in resolvePossiblyDestroyedMutex()
433 const MemRegion *lockR = MtxVal.getAsRegion(); in AcquireLockAux()
511 const MemRegion *lockR = MtxVal.getAsRegion(); in ReleaseLockAux()
535 const MemRegion *firstLockR = LS.getHead(); in ReleaseLockAux()
572 const MemRegion *LockR = MtxVal.getAsRegion(); in DestroyLockAux()
629 const MemRegion *LockR = MtxVal.getAsRegion(); in InitLockAux()
696 ArrayRef<const MemRegion *> ExplicitRegions, in checkRegionChanges()
697 ArrayRef<const MemRegion *> Regions, const LocationContext *LCtx, in checkRegionChanges()