https://gcc.gnu.org/bugzilla/show_bug.cgi?id=89487
--- Comment #5 from Richard Biener <rguenth at gcc dot gnu.org> --- Looks like may_be_nonaddressable_p misses a VAR_DECL case checking for hard registers and the code in loop-distribution should use that helper to fend off generating invalid addresses.