Lines Matching defs:MemRegion

26 #include "clang/StaticAnalyzer/Core/PathSensitive/MemRegion.h"
122                        ArrayRef<const MemRegion *> ExplicitRegions,
123                        ArrayRef<const MemRegion *> Regions,
254                                               const MemRegion *MR,
259                                         const MemRegion *MR,
293   /// MemRegion by setting the invalidation traits. Return true to cause pointer
298                               const MemRegion *)>
302                               const MemRegion *MR);
356 REGISTER_MAP_WITH_PROGRAMSTATE(CStringLength, const MemRegion *, SVal)
444   const MemRegion *R = Element.getAsRegion();
559   const MemRegion *R = Element.getAsRegion();
957                                                 const MemRegion *MR,
964   case MemRegion::StringRegionKind:
969   case MemRegion::SymbolicRegionKind:
970   case MemRegion::AllocaRegionKind:
971   case MemRegion::NonParamVarRegionKind:
972   case MemRegion::ParamVarRegionKind:
973   case MemRegion::FieldRegionKind:
974   case MemRegion::ObjCIvarRegionKind:
978   case MemRegion::ElementRegionKind:
1000                                                const MemRegion *MR,
1039   const MemRegion *MR = Buf.getAsRegion();
1067   case MemRegion::StringRegionKind: {
1075   case MemRegion::NonParamVarRegionKind: {
1090   case MemRegion::SymbolicRegionKind:
1091   case MemRegion::AllocaRegionKind:
1092   case MemRegion::ParamVarRegionKind:
1093   case MemRegion::FieldRegionKind:
1094   case MemRegion::ObjCIvarRegionKind:
1096   case MemRegion::CompoundLiteralRegionKind:
1099   case MemRegion::ElementRegionKind:
1129   const MemRegion *bufRegion = val.getAsRegion();
1181   const MemRegion *R = BufEnd.getAsRegion();
1211        SizeTy](RegionAndSymbolInvalidationTraits &ITraits, const MemRegion *R) {
1214         if (MemRegion::FieldRegionKind == R->getKind() &&
1230                                         const MemRegion *R) {
1240       [](RegionAndSymbolInvalidationTraits &ITraits, const MemRegion *R) {
1241         if (MemRegion::FieldRegionKind == R->getKind())
1256       [](RegionAndSymbolInvalidationTraits &ITraits, const MemRegion *R) {
1271                             const MemRegion *)>
1281     const MemRegion *R = MR->getRegion()->StripCasts();
1307                                      const MemRegion *MR) {
1309   case MemRegion::FunctionCodeRegionKind: {
1316   case MemRegion::BlockCodeRegionKind:
1319   case MemRegion::BlockDataRegionKind:
1322   case MemRegion::CXXThisRegionKind:
1323   case MemRegion::CXXTempObjectRegionKind:
1327   case MemRegion::NonParamVarRegionKind:
1330   case MemRegion::ParamVarRegionKind:
1333   case MemRegion::FieldRegionKind:
1336   case MemRegion::ObjCIvarRegionKind:
1350   const MemRegion *MR = MemVal.getAsRegion();
1359   const MemRegion *BR = Offset.getRegion();
2180   // If the destination is a MemRegion, try to check for a buffer overflow and
2742     const MemRegion *MR = VarLoc.getAsRegion();
2760     ArrayRef<const MemRegion *> ExplicitRegions,
2761     ArrayRef<const MemRegion *> Regions,
2768   llvm::SmallPtrSet<const MemRegion *, 8> Invalidated;
2769   llvm::SmallPtrSet<const MemRegion *, 32> SuperRegions;
2772   for (const MemRegion *MR : Regions) {
2785   for (const MemRegion *MR : llvm::make_first_range(Entries)) {
2793     const MemRegion *Super = MR;