https://gcc.gnu.org/bugzilla/show_bug.cgi?id=61739
--- Comment #1 from Andreas Schwab <sch...@linux-m68k.org> ---
Since printf("") does not need to obtain ownership of stdout there is no
conflict here. There is no requirement that it *must* obtain ownership even if
not needed.
