69                        ArrayRef<const MemRegion *> ExplicitRegions,
70                        ArrayRef<const MemRegion *> Regions,
135                                               const MemRegion *MR,
140                                         const MemRegion *MR,
160                               const MemRegion *MR);
229 REGISTER_MAP_WITH_PROGRAMSTATE(CStringLength, const MemRegion *, SVal)  in REGISTER_MAP_WITH_PROGRAMSTATE()  argument
284   const MemRegion *R = l.getAsRegion();  in CheckLocation()
677                                                 const MemRegion *MR,  in setCStringLength()
684   case MemRegion::StringRegionKind:  in setCStringLength()
689   case MemRegion::SymbolicRegionKind:  in setCStringLength()
690   case MemRegion::AllocaRegionKind:  in setCStringLength()
691   case MemRegion::VarRegionKind:  in setCStringLength()
692   case MemRegion::FieldRegionKind:  in setCStringLength()
693   case MemRegion::ObjCIvarRegionKind:  in setCStringLength()
697   case MemRegion::ElementRegionKind:  in setCStringLength()
719                                                const MemRegion *MR,  in getCStringLengthForRegion()
758   const MemRegion *MR = Buf.getAsRegion();  in getCStringLength()
786   case MemRegion::StringRegionKind: {  in getCStringLength()
794   case MemRegion::SymbolicRegionKind:  in getCStringLength()
795   case MemRegion::AllocaRegionKind:  in getCStringLength()
796   case MemRegion::VarRegionKind:  in getCStringLength()
797   case MemRegion::FieldRegionKind:  in getCStringLength()
798   case MemRegion::ObjCIvarRegionKind:  in getCStringLength()
800   case MemRegion::CompoundLiteralRegionKind:  in getCStringLength()
803   case MemRegion::ElementRegionKind:  in getCStringLength()
833   const MemRegion *bufRegion = val.getAsRegion();  in getCStringLiteral()
888   const MemRegion *R = BufEnd.getAsRegion();  in IsFirstBufInBound()
928     const MemRegion *R = MR->getRegion()->StripCasts();  in InvalidateBuffer()
950       const MemRegion::Kind& K = R->getKind();  in InvalidateBuffer()
951       if (K == MemRegion::FieldRegionKind)  in InvalidateBuffer()
973                                      const MemRegion *MR) {  in SummarizeRegion()
977   case MemRegion::FunctionCodeRegionKind: {  in SummarizeRegion()
985   case MemRegion::BlockCodeRegionKind:  in SummarizeRegion()
988   case MemRegion::BlockDataRegionKind:  in SummarizeRegion()
991   case MemRegion::CXXThisRegionKind:  in SummarizeRegion()
992   case MemRegion::CXXTempObjectRegionKind:  in SummarizeRegion()
995   case MemRegion::VarRegionKind:  in SummarizeRegion()
998   case MemRegion::FieldRegionKind:  in SummarizeRegion()
1001   case MemRegion::ObjCIvarRegionKind:  in SummarizeRegion()
1014   const MemRegion *MR = MemVal.getAsRegion();  in memsetAux()
1023   const MemRegion *BR = Offset.getRegion();  in memsetAux()
2374     const MemRegion *MR = VarLoc.getAsRegion();  in checkPreStmt()
2392     ArrayRef<const MemRegion *> ExplicitRegions,  in checkRegionChanges()
2393     ArrayRef<const MemRegion *> Regions,  in checkRegionChanges()
2400   llvm::SmallPtrSet<const MemRegion *, 8> Invalidated;  in checkRegionChanges()
2401   llvm::SmallPtrSet<const MemRegion *, 32> SuperRegions;  in checkRegionChanges()
2404   for (ArrayRef<const MemRegion *>::iterator  in checkRegionChanges()
2406     const MemRegion *MR = *I;  in checkRegionChanges()
2421     const MemRegion *MR = I.getKey();  in checkRegionChanges()
2430     const MemRegion *Super = MR;  in checkRegionChanges()