http://gcc.gnu.org/bugzilla/show_bug.cgi?id=48667
Manuel López-Ibáñez <manu at gcc dot gnu.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
CC| |manu at gcc dot gnu.org
--- Comment #2 from Manuel López-Ibáñez <manu at gcc dot gnu.org> 2011-09-25
15:13:39 UTC ---
It seems to me this is what PR44783 proposes, isn't it?
It would be nice to get a maintainer to confirm the report and agree with the
option name before anyone starts implementing it.
