Lines Matching refs:MemRegion
122 ArrayRef<const MemRegion *> ExplicitRegions,
123 ArrayRef<const MemRegion *> Regions,
254 const MemRegion *MR,
259 const MemRegion *MR,
298 const MemRegion *)>
302 const MemRegion *MR);
356 REGISTER_MAP_WITH_PROGRAMSTATE(CStringLength, const MemRegion *, SVal) in REGISTER_MAP_WITH_PROGRAMSTATE() argument
444 const MemRegion *R = Element.getAsRegion(); in checkInit()
559 const MemRegion *R = Element.getAsRegion(); in CheckLocation()
957 const MemRegion *MR, in setCStringLength()
964 case MemRegion::StringRegionKind: in setCStringLength()
969 case MemRegion::SymbolicRegionKind: in setCStringLength()
970 case MemRegion::AllocaRegionKind: in setCStringLength()
971 case MemRegion::NonParamVarRegionKind: in setCStringLength()
972 case MemRegion::ParamVarRegionKind: in setCStringLength()
973 case MemRegion::FieldRegionKind: in setCStringLength()
974 case MemRegion::ObjCIvarRegionKind: in setCStringLength()
978 case MemRegion::ElementRegionKind: in setCStringLength()
1000 const MemRegion *MR, in getCStringLengthForRegion()
1039 const MemRegion *MR = Buf.getAsRegion(); in getCStringLength()
1067 case MemRegion::StringRegionKind: { in getCStringLength()
1075 case MemRegion::NonParamVarRegionKind: { in getCStringLength()
1090 case MemRegion::SymbolicRegionKind: in getCStringLength()
1091 case MemRegion::AllocaRegionKind: in getCStringLength()
1092 case MemRegion::ParamVarRegionKind: in getCStringLength()
1093 case MemRegion::FieldRegionKind: in getCStringLength()
1094 case MemRegion::ObjCIvarRegionKind: in getCStringLength()
1096 case MemRegion::CompoundLiteralRegionKind: in getCStringLength()
1099 case MemRegion::ElementRegionKind: in getCStringLength()
1129 const MemRegion *bufRegion = val.getAsRegion(); in getCStringLiteral()
1181 const MemRegion *R = BufEnd.getAsRegion(); in isFirstBufInBound()
1211 SizeTy](RegionAndSymbolInvalidationTraits &ITraits, const MemRegion *R) { in invalidateDestinationBufferBySize()
1214 if (MemRegion::FieldRegionKind == R->getKind() && in invalidateDestinationBufferBySize()
1230 const MemRegion *R) { in invalidateDestinationBufferAlwaysEscapeSuperRegion()
1240 [](RegionAndSymbolInvalidationTraits &ITraits, const MemRegion *R) { in invalidateDestinationBufferNeverOverflows()
1241 if (MemRegion::FieldRegionKind == R->getKind()) in invalidateDestinationBufferNeverOverflows()
1256 [](RegionAndSymbolInvalidationTraits &ITraits, const MemRegion *R) { in invalidateSourceBuffer()
1271 const MemRegion *)> in invalidateBufferAux()
1281 const MemRegion *R = MR->getRegion()->StripCasts(); in invalidateBufferAux()
1307 const MemRegion *MR) { in SummarizeRegion()
1309 case MemRegion::FunctionCodeRegionKind: { in SummarizeRegion()
1316 case MemRegion::BlockCodeRegionKind: in SummarizeRegion()
1319 case MemRegion::BlockDataRegionKind: in SummarizeRegion()
1322 case MemRegion::CXXThisRegionKind: in SummarizeRegion()
1323 case MemRegion::CXXTempObjectRegionKind: in SummarizeRegion()
1327 case MemRegion::NonParamVarRegionKind: in SummarizeRegion()
1330 case MemRegion::ParamVarRegionKind: in SummarizeRegion()
1333 case MemRegion::FieldRegionKind: in SummarizeRegion()
1336 case MemRegion::ObjCIvarRegionKind: in SummarizeRegion()
1350 const MemRegion *MR = MemVal.getAsRegion(); in memsetAux()
1359 const MemRegion *BR = Offset.getRegion(); in memsetAux()
2742 const MemRegion *MR = VarLoc.getAsRegion(); in checkPreStmt()
2760 ArrayRef<const MemRegion *> ExplicitRegions, in checkRegionChanges()
2761 ArrayRef<const MemRegion *> Regions, in checkRegionChanges()
2768 llvm::SmallPtrSet<const MemRegion *, 8> Invalidated; in checkRegionChanges()
2769 llvm::SmallPtrSet<const MemRegion *, 32> SuperRegions; in checkRegionChanges()
2772 for (const MemRegion *MR : Regions) { in checkRegionChanges()
2785 for (const MemRegion *MR : llvm::make_first_range(Entries)) { in checkRegionChanges()
2793 const MemRegion *Super = MR; in checkRegionChanges()