http://gcc.gnu.org/bugzilla/show_bug.cgi?id=56962
--- Comment #2 from Bill Schmidt <wschmidt at gcc dot gnu.org> 2013-04-15 13:19:53 UTC --- The fix looks correct to me. Thanks!
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=56962
--- Comment #2 from Bill Schmidt <wschmidt at gcc dot gnu.org> 2013-04-15 13:19:53 UTC --- The fix looks correct to me. Thanks!