https://gcc.gnu.org/bugzilla/show_bug.cgi?id=103221
--- Comment #12 from Andrew Macleod <amacleod at redhat dot com> --- copyprop does run a few passes after VRP1, but looks like that is the first one, and it was never run after EVRP. EVRP is now identical to a full VRP pass, so it makes sense that we should run copyprop somewhere after it.. it can do all the same things and probably exposes opportunities like you have.
