118                        ArrayRef<const MemRegion *> ExplicitRegions,
119                        ArrayRef<const MemRegion *> Regions,
215                                               const MemRegion *MR,
220                                         const MemRegion *MR,
240                               const MemRegion *MR);
289 REGISTER_MAP_WITH_PROGRAMSTATE(CStringLength, const MemRegion *, SVal)  in REGISTER_MAP_WITH_PROGRAMSTATE()  argument
349   const MemRegion *R = Element.getAsRegion();  in CheckLocation()
764                                                 const MemRegion *MR,  in setCStringLength()
771   case MemRegion::StringRegionKind:  in setCStringLength()
776   case MemRegion::SymbolicRegionKind:  in setCStringLength()
777   case MemRegion::AllocaRegionKind:  in setCStringLength()
778   case MemRegion::NonParamVarRegionKind:  in setCStringLength()
779   case MemRegion::ParamVarRegionKind:  in setCStringLength()
780   case MemRegion::FieldRegionKind:  in setCStringLength()
781   case MemRegion::ObjCIvarRegionKind:  in setCStringLength()
785   case MemRegion::ElementRegionKind:  in setCStringLength()
807                                                const MemRegion *MR,  in getCStringLengthForRegion()
846   const MemRegion *MR = Buf.getAsRegion();  in getCStringLength()
874   case MemRegion::StringRegionKind: {  in getCStringLength()
882   case MemRegion::SymbolicRegionKind:  in getCStringLength()
883   case MemRegion::AllocaRegionKind:  in getCStringLength()
884   case MemRegion::NonParamVarRegionKind:  in getCStringLength()
885   case MemRegion::ParamVarRegionKind:  in getCStringLength()
886   case MemRegion::FieldRegionKind:  in getCStringLength()
887   case MemRegion::ObjCIvarRegionKind:  in getCStringLength()
889   case MemRegion::CompoundLiteralRegionKind:  in getCStringLength()
892   case MemRegion::ElementRegionKind:  in getCStringLength()
922   const MemRegion *bufRegion = val.getAsRegion();  in getCStringLiteral()
977   const MemRegion *R = BufEnd.getAsRegion();  in IsFirstBufInBound()
1015     const MemRegion *R = MR->getRegion()->StripCasts();  in InvalidateBuffer()
1037       const MemRegion::Kind& K = R->getKind();  in InvalidateBuffer()
1038       if (K == MemRegion::FieldRegionKind)  in InvalidateBuffer()
1060                                      const MemRegion *MR) {  in SummarizeRegion()
1062   case MemRegion::FunctionCodeRegionKind: {  in SummarizeRegion()
1069   case MemRegion::BlockCodeRegionKind:  in SummarizeRegion()
1072   case MemRegion::BlockDataRegionKind:  in SummarizeRegion()
1075   case MemRegion::CXXThisRegionKind:  in SummarizeRegion()
1076   case MemRegion::CXXTempObjectRegionKind:  in SummarizeRegion()
1080   case MemRegion::NonParamVarRegionKind:  in SummarizeRegion()
1083   case MemRegion::ParamVarRegionKind:  in SummarizeRegion()
1086   case MemRegion::FieldRegionKind:  in SummarizeRegion()
1089   case MemRegion::ObjCIvarRegionKind:  in SummarizeRegion()
1103   const MemRegion *MR = MemVal.getAsRegion();  in memsetAux()
1112   const MemRegion *BR = Offset.getRegion();  in memsetAux()
2404     const MemRegion *MR = VarLoc.getAsRegion();  in checkPreStmt()
2422     ArrayRef<const MemRegion *> ExplicitRegions,  in checkRegionChanges()
2423     ArrayRef<const MemRegion *> Regions,  in checkRegionChanges()
2430   llvm::SmallPtrSet<const MemRegion *, 8> Invalidated;  in checkRegionChanges()
2431   llvm::SmallPtrSet<const MemRegion *, 32> SuperRegions;  in checkRegionChanges()
2434   for (ArrayRef<const MemRegion *>::iterator  in checkRegionChanges()
2436     const MemRegion *MR = *I;  in checkRegionChanges()
2451     const MemRegion *MR = I.getKey();  in checkRegionChanges()
2460     const MemRegion *Super = MR;  in checkRegionChanges()