So looking at the petgraph crate I think it might be possible to iteratively update the subset graph as we traverse through the CFG, using the timely infrastructure. Even if it's not more efficient, that might be useful for debugging. I'll try to bang out an implementation in the next couple hours, so if there's any sort of analysis/factoids you think that would enable that would be cool ping me in this thread =)
Also, I want to play with the shiny thread toy
The idea of the
relation branch that @nikomatsakis and I were working on was to create a petgraph like structure that supports the features that we need. The repo is here. It's very much a WIP.