http://gcc.gnu.org/bugzilla/show_bug.cgi?id=55353
Konstantin Serebryany <konstantin.s.serebryany at gmail dot com> changed:
What |Removed |Added
----------------------------------------------------------------------------
CC| |hjl.tools at gmail dot com,
| |wmi at gcc dot gnu.org
--- Comment #1 from Konstantin Serebryany <konstantin.s.serebryany at gmail dot
com> 2012-11-19 05:20:24 UTC ---
Wei, this needs to happen ASAP, otherwise there will be too many places with
the old flag.
