Lines Matching defs:MemRegion

27 #include "clang/StaticAnalyzer/Core/PathSensitive/MemRegion.h"
123                        ArrayRef<const MemRegion *> ExplicitRegions,
124                        ArrayRef<const MemRegion *> Regions,
255                                               const MemRegion *MR,
260                                         const MemRegion *MR,
294   /// MemRegion by setting the invalidation traits. Return true to cause pointer
299                               const MemRegion *)>
303                               const MemRegion *MR);
341                                 const Expr *E, const MemRegion *R,
358 REGISTER_MAP_WITH_PROGRAMSTATE(CStringLength, const MemRegion *, SVal)
446   const MemRegion *R = Element.getAsRegion();
563   const MemRegion *R = Element.getAsRegion();
825                                               const Expr *E, const MemRegion *R,
962                                                 const MemRegion *MR,
969   case MemRegion::StringRegionKind:
974   case MemRegion::SymbolicRegionKind:
975   case MemRegion::AllocaRegionKind:
976   case MemRegion::NonParamVarRegionKind:
977   case MemRegion::ParamVarRegionKind:
978   case MemRegion::FieldRegionKind:
979   case MemRegion::ObjCIvarRegionKind:
983   case MemRegion::ElementRegionKind:
1005                                                const MemRegion *MR,
1044   const MemRegion *MR = Buf.getAsRegion();
1072   case MemRegion::StringRegionKind: {
1080   case MemRegion::NonParamVarRegionKind: {
1095   case MemRegion::SymbolicRegionKind:
1096   case MemRegion::AllocaRegionKind:
1097   case MemRegion::ParamVarRegionKind:
1098   case MemRegion::FieldRegionKind:
1099   case MemRegion::ObjCIvarRegionKind:
1101   case MemRegion::CompoundLiteralRegionKind:
1104   case MemRegion::ElementRegionKind:
1134   const MemRegion *bufRegion = val.getAsRegion();
1186   const MemRegion *R = BufEnd.getAsRegion();
1216        SizeTy](RegionAndSymbolInvalidationTraits &ITraits, const MemRegion *R) {
1219         if (MemRegion::FieldRegionKind == R->getKind() &&
1235                                         const MemRegion *R) {
1245       [](RegionAndSymbolInvalidationTraits &ITraits, const MemRegion *R) {
1246         if (MemRegion::FieldRegionKind == R->getKind())
1261       [](RegionAndSymbolInvalidationTraits &ITraits, const MemRegion *R) {
1276                             const MemRegion *)>
1286     const MemRegion *R = MR->getRegion()->StripCasts();
1312                                      const MemRegion *MR) {
1314   case MemRegion::FunctionCodeRegionKind: {
1321   case MemRegion::BlockCodeRegionKind:
1324   case MemRegion::BlockDataRegionKind:
1327   case MemRegion::CXXThisRegionKind:
1328   case MemRegion::CXXTempObjectRegionKind:
1332   case MemRegion::NonParamVarRegionKind:
1335   case MemRegion::ParamVarRegionKind:
1338   case MemRegion::FieldRegionKind:
1341   case MemRegion::ObjCIvarRegionKind:
1355   const MemRegion *MR = MemVal.getAsRegion();
1364   const MemRegion *BR = Offset.getRegion();
2185   // If the destination is a MemRegion, try to check for a buffer overflow and
2747     const MemRegion *MR = VarLoc.getAsRegion();
2765     ArrayRef<const MemRegion *> ExplicitRegions,
2766     ArrayRef<const MemRegion *> Regions,
2773   llvm::SmallPtrSet<const MemRegion *, 8> Invalidated;
2774   llvm::SmallPtrSet<const MemRegion *, 32> SuperRegions;
2777   for (const MemRegion *MR : Regions) {
2790   for (const MemRegion *MR : llvm::make_first_range(Entries)) {
2798     const MemRegion *Super = MR;