dberlin accepted this revision. dberlin added a comment. This revision is now accepted and ready to land. At some point we should make the DFS iterators more flexible, but i don't think we need to design that for this https://reviews.llvm.org/D34651