https://gcc.gnu.org/bugzilla/show_bug.cgi?id=61397
--- Comment #6 from Andreas Schwab <[email protected]> --- It wasn't that way when reported.
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=61397
--- Comment #6 from Andreas Schwab <[email protected]> --- It wasn't that way when reported.