160 static Optional<SizeSpan> AsSizeSpan(size_t Begin, size_t End) {  in AsSizeSpan()  argument
161   if (Begin == End)  in AsSizeSpan()
164   SS.Begin = Begin;  in AsSizeSpan()
172 static Optional<Region> As(size_t Begin, size_t End) {  in As()  argument
173   if (auto Span = AsSizeSpan(Begin, End)) {  in As()
182 static Optional<Loop> AsLoop(size_t Begin, size_t End, size_t BlockSize) {  in AsLoop()  argument
183   if (auto Span = AsSizeSpan(Begin, End)) {  in AsLoop()
193 static Optional<AlignedLoop> AsAlignedLoop(size_t Begin, size_t End,  in AsAlignedLoop()  argument
196   if (auto Loop = AsLoop(Begin, End, BlockSize)) {  in AsAlignedLoop()
259 void RandomFunctionGenerator::addBoundsAndAnchors(z3::expr &Begin,  in addBoundsAndAnchors()  argument
262   Solver.add(inSetConstraint(Begin, kAnchors));  in addBoundsAndAnchors()
264   Solver.add(Begin >= 0);  in addBoundsAndAnchors()
265   Solver.add(Begin <= End);  in addBoundsAndAnchors()