https://gcc.gnu.org/bugzilla/show_bug.cgi?id=95649
--- Comment #9 from CVS Commits <cvs-commit at gcc dot gnu.org> --- The master branch has been updated by Aldy Hernandez <al...@gcc.gnu.org>: https://gcc.gnu.org/g:8fb4d1d58362b77da78c09740c6b5562124a369e commit r11-1395-g8fb4d1d58362b77da78c09740c6b5562124a369e Author: Aldy Hernandez <al...@redhat.com> Date: Tue Jun 16 13:43:57 2020 +0200 Fix pasto in the substitute_and_fold_engine merge with evrp. The original code only propagated into PHI arguments if the value was a constant. This behavior was lost in the conversion, allowing any value (SSAs for instance) to be propagated into PHIs. gcc/ChangeLog: PR tree-optimization/95649 * tree-ssa-propagate.c (propagate_into_phi_args): Do not propagate unless value is a constant. gcc/testsuite/ChangeLog: * g++.dg/tree-ssa/pr95649.C: New test. * gcc.dg/tree-ssa/pr95649.c: New test.