Interval FlatStoreManager::RegionToInterval(const MemRegion *R) { switch (R->getKind()) { case MemRegion::VarRegionKind: { QualType T = cast<VarRegion>(R)->getValueType(Ctx); uint64_t Size = Ctx.getTypeSize(T); return Interval(0, Size-1); } default: llvm_unreachable("Region kind unhandled."); return Interval(0, 0); } }