48     result.emplace_back(MaybeExtentExpr{ExtentExpr{extent}});  in AsShape()
53 std::optional<Shape> AsShape(FoldingContext &context, ExtentExpr &&arrayExpr) {  in AsShape()
62       if (auto *expr{std::get_if<ExtentExpr>(&value.u)}) {  in AsShape()
75 std::optional<ExtentExpr> AsExtentArrayExpr(const Shape &shape) {  in AsExtentArrayExpr()
84   return ExtentExpr{ArrayConstructor<ExtentType>{std::move(values)}};  in AsExtentArrayExpr()
124 static ExtentExpr ComputeTripCount(FoldingContext &context, ExtentExpr &&lower,  in ComputeTripCount()
125     ExtentExpr &&upper, ExtentExpr &&stride) {  in ComputeTripCount()
126   ExtentExpr strideCopy{common::Clone(stride)};  in ComputeTripCount()
127   ExtentExpr span{  in ComputeTripCount()
130   ExtentExpr extent{  in ComputeTripCount()
131       Extremum<ExtentType>{Ordering::Greater, std::move(span), ExtentExpr{0}}};  in ComputeTripCount()
135 ExtentExpr CountTrips(FoldingContext &context, ExtentExpr &&lower,  in CountTrips()
136     ExtentExpr &&upper, ExtentExpr &&stride) {  in CountTrips()
141 ExtentExpr CountTrips(FoldingContext &context, const ExtentExpr &lower,  in CountTrips()
142     const ExtentExpr &upper, const ExtentExpr &stride) {  in CountTrips()
149   std::function<ExtentExpr(ExtentExpr &&, ExtentExpr &&, ExtentExpr &&)> bound{  in CountTrips()
156   ExtentExpr extent{1};  in GetSize()
167 bool ContainsAnyImpliedDoIndex(const ExtentExpr &expr) {  in ContainsAnyImpliedDoIndex()
180 class GetLowerBoundHelper : public Traverse<GetLowerBoundHelper, ExtentExpr> {
182   using Result = ExtentExpr;
183   using Base = Traverse<GetLowerBoundHelper, ExtentExpr>;
187   static ExtentExpr Default() { return ExtentExpr{1}; }  in Default()
188   static ExtentExpr Combine(Result &&, Result &&) { return Default(); }  in Combine()
189   ExtentExpr operator()(const Symbol &);
190   ExtentExpr operator()(const Component &);
206           return ExtentExpr{DescriptorInquiry{NamedEntity{symbol0},  in operator ()()
231             return ExtentExpr{  in operator ()()
244 ExtentExpr GetLowerBound(  in GetLowerBound()
275                       common::Clone(lbound.value()) + ExtentExpr{1});  in GetExtent()
283           return ExtentExpr{DescriptorInquiry{  in GetExtent()
329     FoldingContext &context, ExtentExpr &&lower, MaybeExtentExpr &&extent) {  in ComputeUpperBound()
331     return Fold(context, std::move(*extent) - std::move(lower) + ExtentExpr{1});  in ComputeUpperBound()
518       return Shape{MaybeExtentExpr{ExtentExpr{expr->Rank()}}};  in operator ()()
584                   ActualArgument{AsGenericExpr(ExtentExpr{0})},  in operator ()()
589               return Shape{ExtentExpr{FunctionRef<ExtentType>{  in operator ()()
600             return Shape{ExtentExpr{FunctionRef<ExtentType>{  in operator ()()
653               ExtentExpr extent{Fold(context_,  in operator ()()
656                       common::Clone(*moldElementBytes) - ExtentExpr{1}) /  in operator ()()