https://gcc.gnu.org/bugzilla/show_bug.cgi?id=87733
--- Comment #34 from Segher Boessenkool <segher at gcc dot gnu.org> --- Oh, your real code is different, and $10 doesn't work for that? I see.
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=87733
--- Comment #34 from Segher Boessenkool <segher at gcc dot gnu.org> --- Oh, your real code is different, and $10 doesn't work for that? I see.