https://gcc.gnu.org/bugzilla/show_bug.cgi?id=116550
--- Comment #12 from Richard Sandiford <rsandifo at gcc dot gnu.org> --- (In reply to denisc from comment #4) > Explanation. > […] Thanks for the great explanation! Based on that, the patch LGTM FWIW, although Vlad should have the final say.