https://gcc.gnu.org/bugzilla/show_bug.cgi?id=105586
--- Comment #11 from Segher Boessenkool <segher at gcc dot gnu.org> --- Ah. It's a nasty bug, so "safe side" is to *do* fix it, in my reading. But you can also say "not doing anything" (so, staying susceptible to the bug) is safer. It happens rather infrequently after all. Just follow up, ask for clarification?
