Lines Matching defs:MemRegion

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