https://gcc.gnu.org/bugzilla/show_bug.cgi?id=60523
Frank Heckenbach changed:
What|Removed |Added
CC||f.heckenb...@fh-soft.de
--- Comment
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=60523
--- Comment #10 from David Brown ---
(In reply to Eric Gallager from comment #9)
> (In reply to Eric Gallager from comment #8)
> > *** Bug 70952 has been marked as a duplicate of this bug. ***
>
> While this was a mistake, it still might be
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=60523
--- Comment #9 from Eric Gallager ---
(In reply to Eric Gallager from comment #8)
> *** Bug 70952 has been marked as a duplicate of this bug. ***
While this was a mistake, it still might be worth grouping the flag proposed in
that bug,