https://gcc.gnu.org/bugzilla/show_bug.cgi?id=70017
--- Comment #9 from Eric Botcazou <ebotcazou at gcc dot gnu.org> --- > We have zero test failures with the patched code. Is that good enough or > should I still take a closer look? Good enough if you have no failures. You'll get the warning I just reinstated in corner cases, but no big deal.