bug tracking all missed value range propagation issues (as opposed to PR18373 tracking the need for such a pass)
.
There's probably a lot more bugs that should fall under this meta-bug than currently do; I'll leave finding them all for another day though (or for someone else to do)