Lines Matching refs:MemRegion
71 ArrayRef<const MemRegion *> ExplicitRegions,
72 ArrayRef<const MemRegion *> Regions,
127 const MemRegion *MR,
132 const MemRegion *MR,
151 const MemRegion *MR);
200 REGISTER_MAP_WITH_PROGRAMSTATE(CStringLength, const MemRegion *, SVal)
271 const MemRegion *R = l.getAsRegion();
621 const MemRegion *MR,
628 case MemRegion::StringRegionKind:
633 case MemRegion::SymbolicRegionKind:
634 case MemRegion::AllocaRegionKind:
635 case MemRegion::VarRegionKind:
636 case MemRegion::FieldRegionKind:
637 case MemRegion::ObjCIvarRegionKind:
641 case MemRegion::ElementRegionKind:
663 const MemRegion *MR,
701 const MemRegion *MR = Buf.getAsRegion();
742 case MemRegion::StringRegionKind: {
750 case MemRegion::SymbolicRegionKind:
751 case MemRegion::AllocaRegionKind:
752 case MemRegion::VarRegionKind:
753 case MemRegion::FieldRegionKind:
754 case MemRegion::ObjCIvarRegionKind:
756 case MemRegion::CompoundLiteralRegionKind:
759 case MemRegion::ElementRegionKind:
803 const MemRegion *bufRegion = val.getAsRegion();
831 const MemRegion *R = MR->getRegion()->StripCasts();
866 const MemRegion *MR) {
870 case MemRegion::FunctionTextRegionKind: {
878 case MemRegion::BlockTextRegionKind:
881 case MemRegion::BlockDataRegionKind:
884 case MemRegion::CXXThisRegionKind:
885 case MemRegion::CXXTempObjectRegionKind:
888 case MemRegion::VarRegionKind:
891 case MemRegion::FieldRegionKind:
894 case MemRegion::ObjCIvarRegionKind:
1574 // If the destination is a MemRegion, try to check for a buffer overflow and
1959 const MemRegion *MR = VarLoc.getAsRegion();
1982 ArrayRef<const MemRegion *> ExplicitRegions,
1983 ArrayRef<const MemRegion *> Regions,
1989 llvm::SmallPtrSet<const MemRegion *, 8> Invalidated;
1990 llvm::SmallPtrSet<const MemRegion *, 32> SuperRegions;
1993 for (ArrayRef<const MemRegion *>::iterator
1995 const MemRegion *MR = *I;
2010 const MemRegion *MR = I.getKey();
2019 const MemRegion *Super = MR;
