71                        ArrayRef<const MemRegion *> ExplicitRegions,
72                        ArrayRef<const MemRegion *> Regions,
131                                               const MemRegion *MR,
136                                         const MemRegion *MR,
156                               const MemRegion *MR);
213 REGISTER_MAP_WITH_PROGRAMSTATE(CStringLength, const MemRegion *, SVal)  in REGISTER_MAP_WITH_PROGRAMSTATE()  argument
284   const MemRegion *R = l.getAsRegion();  in CheckLocation()
633                                                 const MemRegion *MR,  in setCStringLength()
640   case MemRegion::StringRegionKind:  in setCStringLength()
645   case MemRegion::SymbolicRegionKind:  in setCStringLength()
646   case MemRegion::AllocaRegionKind:  in setCStringLength()
647   case MemRegion::VarRegionKind:  in setCStringLength()
648   case MemRegion::FieldRegionKind:  in setCStringLength()
649   case MemRegion::ObjCIvarRegionKind:  in setCStringLength()
653   case MemRegion::ElementRegionKind:  in setCStringLength()
675                                                const MemRegion *MR,  in getCStringLengthForRegion()
713   const MemRegion *MR = Buf.getAsRegion();  in getCStringLength()
754   case MemRegion::StringRegionKind: {  in getCStringLength()
762   case MemRegion::SymbolicRegionKind:  in getCStringLength()
763   case MemRegion::AllocaRegionKind:  in getCStringLength()
764   case MemRegion::VarRegionKind:  in getCStringLength()
765   case MemRegion::FieldRegionKind:  in getCStringLength()
766   case MemRegion::ObjCIvarRegionKind:  in getCStringLength()
768   case MemRegion::CompoundLiteralRegionKind:  in getCStringLength()
771   case MemRegion::ElementRegionKind:  in getCStringLength()
814   const MemRegion *bufRegion = val.getAsRegion();  in getCStringLiteral()
868   const MemRegion *R = BufEnd.getAsRegion();  in IsFirstBufInBound()
906     const MemRegion *R = MR->getRegion()->StripCasts();  in InvalidateBuffer()
928       const MemRegion::Kind& K = R->getKind();  in InvalidateBuffer()
929       if (K == MemRegion::FieldRegionKind)  in InvalidateBuffer()
951                                      const MemRegion *MR) {  in SummarizeRegion()
955   case MemRegion::FunctionCodeRegionKind: {  in SummarizeRegion()
963   case MemRegion::BlockCodeRegionKind:  in SummarizeRegion()
966   case MemRegion::BlockDataRegionKind:  in SummarizeRegion()
969   case MemRegion::CXXThisRegionKind:  in SummarizeRegion()
970   case MemRegion::CXXTempObjectRegionKind:  in SummarizeRegion()
973   case MemRegion::VarRegionKind:  in SummarizeRegion()
976   case MemRegion::FieldRegionKind:  in SummarizeRegion()
979   case MemRegion::ObjCIvarRegionKind:  in SummarizeRegion()
2100     const MemRegion *MR = VarLoc.getAsRegion();  in checkPreStmt()
2123                                    ArrayRef<const MemRegion *> ExplicitRegions,  in checkRegionChanges()
2124                                    ArrayRef<const MemRegion *> Regions,  in checkRegionChanges()
2130   llvm::SmallPtrSet<const MemRegion *, 8> Invalidated;  in checkRegionChanges()
2131   llvm::SmallPtrSet<const MemRegion *, 32> SuperRegions;  in checkRegionChanges()
2134   for (ArrayRef<const MemRegion *>::iterator  in checkRegionChanges()
2136     const MemRegion *MR = *I;  in checkRegionChanges()
2151     const MemRegion *MR = I.getKey();  in checkRegionChanges()
2160     const MemRegion *Super = MR;  in checkRegionChanges()