https://gcc.gnu.org/bugzilla/show_bug.cgi?id=115591
--- Comment #5 from Eric Botcazou <ebotcazou at gcc dot gnu.org> --- Jeff, this looks like an obvious fix given the comment just above the modified code, but only a maintainer can probably assess that.