Lines Matching refs:MemRegion
118 ArrayRef<const MemRegion *> ExplicitRegions,
119 ArrayRef<const MemRegion *> Regions,
230 const MemRegion *MR,
235 const MemRegion *MR,
274 const MemRegion *)>
278 const MemRegion *MR);
328 REGISTER_MAP_WITH_PROGRAMSTATE(CStringLength, const MemRegion *, SVal) in REGISTER_MAP_WITH_PROGRAMSTATE() argument
388 const MemRegion *R = Element.getAsRegion(); in CheckLocation()
812 const MemRegion *MR, in setCStringLength()
819 case MemRegion::StringRegionKind: in setCStringLength()
824 case MemRegion::SymbolicRegionKind: in setCStringLength()
825 case MemRegion::AllocaRegionKind: in setCStringLength()
826 case MemRegion::NonParamVarRegionKind: in setCStringLength()
827 case MemRegion::ParamVarRegionKind: in setCStringLength()
828 case MemRegion::FieldRegionKind: in setCStringLength()
829 case MemRegion::ObjCIvarRegionKind: in setCStringLength()
833 case MemRegion::ElementRegionKind: in setCStringLength()
855 const MemRegion *MR, in getCStringLengthForRegion()
894 const MemRegion *MR = Buf.getAsRegion(); in getCStringLength()
922 case MemRegion::StringRegionKind: { in getCStringLength()
930 case MemRegion::NonParamVarRegionKind: { in getCStringLength()
945 case MemRegion::SymbolicRegionKind: in getCStringLength()
946 case MemRegion::AllocaRegionKind: in getCStringLength()
947 case MemRegion::ParamVarRegionKind: in getCStringLength()
948 case MemRegion::FieldRegionKind: in getCStringLength()
949 case MemRegion::ObjCIvarRegionKind: in getCStringLength()
951 case MemRegion::CompoundLiteralRegionKind: in getCStringLength()
954 case MemRegion::ElementRegionKind: in getCStringLength()
984 const MemRegion *bufRegion = val.getAsRegion(); in getCStringLiteral()
1036 const MemRegion *R = BufEnd.getAsRegion(); in isFirstBufInBound()
1066 SizeTy](RegionAndSymbolInvalidationTraits &ITraits, const MemRegion *R) { in invalidateDestinationBufferBySize()
1069 if (MemRegion::FieldRegionKind == R->getKind() && in invalidateDestinationBufferBySize()
1085 const MemRegion *R) { in invalidateDestinationBufferAlwaysEscapeSuperRegion()
1095 [](RegionAndSymbolInvalidationTraits &ITraits, const MemRegion *R) { in invalidateDestinationBufferNeverOverflows()
1096 if (MemRegion::FieldRegionKind == R->getKind()) in invalidateDestinationBufferNeverOverflows()
1111 [](RegionAndSymbolInvalidationTraits &ITraits, const MemRegion *R) { in invalidateSourceBuffer()
1126 const MemRegion *)> in invalidateBufferAux()
1136 const MemRegion *R = MR->getRegion()->StripCasts(); in invalidateBufferAux()
1162 const MemRegion *MR) { in SummarizeRegion()
1164 case MemRegion::FunctionCodeRegionKind: { in SummarizeRegion()
1171 case MemRegion::BlockCodeRegionKind: in SummarizeRegion()
1174 case MemRegion::BlockDataRegionKind: in SummarizeRegion()
1177 case MemRegion::CXXThisRegionKind: in SummarizeRegion()
1178 case MemRegion::CXXTempObjectRegionKind: in SummarizeRegion()
1182 case MemRegion::NonParamVarRegionKind: in SummarizeRegion()
1185 case MemRegion::ParamVarRegionKind: in SummarizeRegion()
1188 case MemRegion::FieldRegionKind: in SummarizeRegion()
1191 case MemRegion::ObjCIvarRegionKind: in SummarizeRegion()
1205 const MemRegion *MR = MemVal.getAsRegion(); in memsetAux()
1214 const MemRegion *BR = Offset.getRegion(); in memsetAux()
2595 const MemRegion *MR = VarLoc.getAsRegion(); in checkPreStmt()
2613 ArrayRef<const MemRegion *> ExplicitRegions, in checkRegionChanges()
2614 ArrayRef<const MemRegion *> Regions, in checkRegionChanges()
2621 llvm::SmallPtrSet<const MemRegion *, 8> Invalidated; in checkRegionChanges()
2622 llvm::SmallPtrSet<const MemRegion *, 32> SuperRegions; in checkRegionChanges()
2625 for (const MemRegion *MR : Regions) { in checkRegionChanges()
2638 for (const MemRegion *MR : llvm::make_first_range(Entries)) { in checkRegionChanges()
2646 const MemRegion *Super = MR; in checkRegionChanges()