https://gcc.gnu.org/bugzilla/show_bug.cgi?id=86360 --- Comment #3 from David Woodhouse <dwmw2 at infradead dot org> --- Thanks for the prompt response. I'll stick with my original "compiler isn't required to emit" comment in my referenced patch submission, which everyone had questioned...