pub fn on_entry(func: &Func) -> Vec<(u32, Block, Value)>Expand description
The value each declaration that has more than one of them holds at the top of each block, where every path in agrees, as the declaration, the block and the value, sorted.
Only a declaration with more than one value is asked about, since a declaration with one cannot be holding the wrong one of them, and the list would otherwise be every local times every block.