https://gcc.gnu.org/bugzilla/show_bug.cgi?id=81878
--- Comment #37 from Eric Botcazou <ebotcazou at gcc dot gnu.org> --- > Would this be a better approach? Probably not much. So let's go with your kludge from comment #19 but with a comment giving the rationale for putting it in.