Recently I’ve been working in static analysis land and as a part of that have been familiarizing myself with data flow analysis. I look at a fair amount of MIR and so decided to delve into the
rustc_mir_dataflowcrate to see how these things are handled in the rust compiler. There is a helpful introduction to this topic in the
rustc dev guide, and this post fleshes things out a bit.
Source: Exploring Dataflow Analysis in the Rust Compiler, an article by David Anekstein.