[PATCH] D48136: [Polly] Implement an iterator for isl maps, basic_maps, sets, basic_sets

[Siddharth via Phabricator via llvm-commits]

bollu added a comment.

@Meinersbur even assuming that such a concept exists (since one could argue such a concept does exist for a range-based for loop to work), I still don't think it allows the compiler to optimise away iterators based on the interpretation of the spec I outlined (`==` is an equivalence relation whose domain is mutable).


Repository:
  rPLO Polly

https://reviews.llvm.org/D48136