[Bug tree-optimization/77989] [7 Regression] -O3 causes verify_gimple fail

[amker at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=77989

--- Comment #5 from amker at gcc dot gnu.org ---
As suspected. VRP missed folding statement after copy propagation.  Testing
patch...