http://gcc.gnu.org/bugzilla/show_bug.cgi?id=48076
Dmitry Vyukov <dvyukov at google dot com> changed:
What |Removed |Added
----------------------------------------------------------------------------
CC| |dvyukov at google dot com
--- Comment #5 from Dmitry Vyukov <dvyukov at google dot com> 2012-11-28
03:51:50 UTC ---
Looks good to me
