113                        ArrayRef<const MemRegion *> ExplicitRegions,
114                        ArrayRef<const MemRegion *> Regions,
204                                               const MemRegion *MR,
209                                         const MemRegion *MR,
229                               const MemRegion *MR);
276 REGISTER_MAP_WITH_PROGRAMSTATE(CStringLength, const MemRegion *, SVal)  in REGISTER_MAP_WITH_PROGRAMSTATE()  argument
335   const MemRegion *R = Element.getAsRegion();  in CheckLocation()
698                                                 const MemRegion *MR,  in setCStringLength()
705   case MemRegion::StringRegionKind:  in setCStringLength()
710   case MemRegion::SymbolicRegionKind:  in setCStringLength()
711   case MemRegion::AllocaRegionKind:  in setCStringLength()
712   case MemRegion::NonParamVarRegionKind:  in setCStringLength()
713   case MemRegion::ParamVarRegionKind:  in setCStringLength()
714   case MemRegion::FieldRegionKind:  in setCStringLength()
715   case MemRegion::ObjCIvarRegionKind:  in setCStringLength()
719   case MemRegion::ElementRegionKind:  in setCStringLength()
741                                                const MemRegion *MR,  in getCStringLengthForRegion()
780   const MemRegion *MR = Buf.getAsRegion();  in getCStringLength()
808   case MemRegion::StringRegionKind: {  in getCStringLength()
816   case MemRegion::SymbolicRegionKind:  in getCStringLength()
817   case MemRegion::AllocaRegionKind:  in getCStringLength()
818   case MemRegion::NonParamVarRegionKind:  in getCStringLength()
819   case MemRegion::ParamVarRegionKind:  in getCStringLength()
820   case MemRegion::FieldRegionKind:  in getCStringLength()
821   case MemRegion::ObjCIvarRegionKind:  in getCStringLength()
823   case MemRegion::CompoundLiteralRegionKind:  in getCStringLength()
826   case MemRegion::ElementRegionKind:  in getCStringLength()
856   const MemRegion *bufRegion = val.getAsRegion();  in getCStringLiteral()
911   const MemRegion *R = BufEnd.getAsRegion();  in IsFirstBufInBound()
949     const MemRegion *R = MR->getRegion()->StripCasts();  in InvalidateBuffer()
971       const MemRegion::Kind& K = R->getKind();  in InvalidateBuffer()
972       if (K == MemRegion::FieldRegionKind)  in InvalidateBuffer()
994                                      const MemRegion *MR) {  in SummarizeRegion()
996   case MemRegion::FunctionCodeRegionKind: {  in SummarizeRegion()
1003   case MemRegion::BlockCodeRegionKind:  in SummarizeRegion()
1006   case MemRegion::BlockDataRegionKind:  in SummarizeRegion()
1009   case MemRegion::CXXThisRegionKind:  in SummarizeRegion()
1010   case MemRegion::CXXTempObjectRegionKind:  in SummarizeRegion()
1014   case MemRegion::NonParamVarRegionKind:  in SummarizeRegion()
1018   case MemRegion::ParamVarRegionKind:  in SummarizeRegion()
1022   case MemRegion::FieldRegionKind:  in SummarizeRegion()
1026   case MemRegion::ObjCIvarRegionKind:  in SummarizeRegion()
1040   const MemRegion *MR = MemVal.getAsRegion();  in memsetAux()
1049   const MemRegion *BR = Offset.getRegion();  in memsetAux()
2337     const MemRegion *MR = VarLoc.getAsRegion();  in checkPreStmt()
2355     ArrayRef<const MemRegion *> ExplicitRegions,  in checkRegionChanges()
2356     ArrayRef<const MemRegion *> Regions,  in checkRegionChanges()
2363   llvm::SmallPtrSet<const MemRegion *, 8> Invalidated;  in checkRegionChanges()
2364   llvm::SmallPtrSet<const MemRegion *, 32> SuperRegions;  in checkRegionChanges()
2367   for (ArrayRef<const MemRegion *>::iterator  in checkRegionChanges()
2369     const MemRegion *MR = *I;  in checkRegionChanges()
2384     const MemRegion *MR = I.getKey();  in checkRegionChanges()
2393     const MemRegion *Super = MR;  in checkRegionChanges()