https://gcc.gnu.org/bugzilla/show_bug.cgi?id=102587
rsandifo at gcc dot gnu.org <rsandifo at gcc dot gnu.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
CC| |rsandifo at gcc dot gnu.org
Resolution|FIXED |---
Status|RESOLVED |ASSIGNED
Assignee|rguenth at gcc dot gnu.org |rsandifo at gcc dot
gnu.org
--- Comment #5 from rsandifo at gcc dot gnu.org <rsandifo at gcc dot gnu.org>
---
Reopening because I don't think we can simply ignore the
option like this, at least not without a warning.
Hope to fix sometime in stage 3.
