https://gcc.gnu.org/bugzilla/show_bug.cgi?id=92706
--- Comment #4 from Martin Jambor <jamborm at gcc dot gnu.org> --- I have proposed the following patches to address this on trunk. The testcase from comment #3 can be fixed with https://gcc.gnu.org/ml/gcc-patches/2019-12/msg01183.html The original testcase however needs also propagation from LHSs to RHSs posted in https://gcc.gnu.org/ml/gcc-patches/2019-12/msg01184.html Both patches require a small fix posted in https://gcc.gnu.org/ml/gcc-patches/2019-12/msg01182.html