http://gcc.gnu.org/bugzilla/show_bug.cgi?id=55492
--- Comment #10 from Richard Henderson <rth at gcc dot gnu.org> 2012-12-14 16:29:34 UTC --- Committed the suggested tweak, thanks.
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=55492
--- Comment #10 from Richard Henderson <rth at gcc dot gnu.org> 2012-12-14 16:29:34 UTC --- Committed the suggested tweak, thanks.