Change SwitchInt handling in dataflow analysis.#156169

rust-bors[bot] merged 1 commit into

rust-lang:mainrust-lang/rust:mainfrom

nnethercote:simplify-SwitchInt-stuffnnethercote/rust:simplify-SwitchInt-stuffCopy head branch name to clipboard