https://gcc.gnu.org/bugzilla/show_bug.cgi?id=82569
--- Comment #11 from Eric Botcazou <ebotcazou at gcc dot gnu.org> --- store_expr_with_bounds also has a special handling for promoted SUBREGs and it would probably need to be changed too. In the end, I think that the current approach of not setting SUBREG_PROMOTED_VAR_P for problematic SSA_NAME partitions isn't robust and even viable; we would need to stop promoting the RTX altogether for it to really work.