71                        ArrayRef<const MemRegion *> ExplicitRegions,
72                        ArrayRef<const MemRegion *> Regions,
127                                               const MemRegion *MR,
132                                         const MemRegion *MR,
152                               const MemRegion *MR);
209 REGISTER_MAP_WITH_PROGRAMSTATE(CStringLength, const MemRegion *, SVal)  in REGISTER_MAP_WITH_PROGRAMSTATE()  argument
280   const MemRegion *R = l.getAsRegion();  in CheckLocation()
629                                                 const MemRegion *MR,  in setCStringLength()
636   case MemRegion::StringRegionKind:  in setCStringLength()
641   case MemRegion::SymbolicRegionKind:  in setCStringLength()
642   case MemRegion::AllocaRegionKind:  in setCStringLength()
643   case MemRegion::VarRegionKind:  in setCStringLength()
644   case MemRegion::FieldRegionKind:  in setCStringLength()
645   case MemRegion::ObjCIvarRegionKind:  in setCStringLength()
649   case MemRegion::ElementRegionKind:  in setCStringLength()
671                                                const MemRegion *MR,  in getCStringLengthForRegion()
709   const MemRegion *MR = Buf.getAsRegion();  in getCStringLength()
750   case MemRegion::StringRegionKind: {  in getCStringLength()
758   case MemRegion::SymbolicRegionKind:  in getCStringLength()
759   case MemRegion::AllocaRegionKind:  in getCStringLength()
760   case MemRegion::VarRegionKind:  in getCStringLength()
761   case MemRegion::FieldRegionKind:  in getCStringLength()
762   case MemRegion::ObjCIvarRegionKind:  in getCStringLength()
764   case MemRegion::CompoundLiteralRegionKind:  in getCStringLength()
767   case MemRegion::ElementRegionKind:  in getCStringLength()
810   const MemRegion *bufRegion = val.getAsRegion();  in getCStringLiteral()
864   const MemRegion *R = BufEnd.getAsRegion();  in IsFirstBufInBound()
902     const MemRegion *R = MR->getRegion()->StripCasts();  in InvalidateBuffer()
924       const MemRegion::Kind& K = R->getKind();  in InvalidateBuffer()
925       if (K == MemRegion::FieldRegionKind)  in InvalidateBuffer()
947                                      const MemRegion *MR) {  in SummarizeRegion()
951   case MemRegion::FunctionTextRegionKind: {  in SummarizeRegion()
959   case MemRegion::BlockTextRegionKind:  in SummarizeRegion()
962   case MemRegion::BlockDataRegionKind:  in SummarizeRegion()
965   case MemRegion::CXXThisRegionKind:  in SummarizeRegion()
966   case MemRegion::CXXTempObjectRegionKind:  in SummarizeRegion()
969   case MemRegion::VarRegionKind:  in SummarizeRegion()
972   case MemRegion::FieldRegionKind:  in SummarizeRegion()
975   case MemRegion::ObjCIvarRegionKind:  in SummarizeRegion()
2042     const MemRegion *MR = VarLoc.getAsRegion();  in checkPreStmt()
2065                                    ArrayRef<const MemRegion *> ExplicitRegions,  in checkRegionChanges()
2066                                    ArrayRef<const MemRegion *> Regions,  in checkRegionChanges()
2072   llvm::SmallPtrSet<const MemRegion *, 8> Invalidated;  in checkRegionChanges()
2073   llvm::SmallPtrSet<const MemRegion *, 32> SuperRegions;  in checkRegionChanges()
2076   for (ArrayRef<const MemRegion *>::iterator  in checkRegionChanges()
2078     const MemRegion *MR = *I;  in checkRegionChanges()
2093     const MemRegion *MR = I.getKey();  in checkRegionChanges()
2102     const MemRegion *Super = MR;  in checkRegionChanges()