http://gcc.gnu.org/bugzilla/show_bug.cgi?id=56348
--- Comment #3 from dnovillo at google dot com <dnovillo at google dot com> 2013-02-15 19:19:22 UTC --- Thanks for the quick fix, Vlad! Diego.
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=56348
--- Comment #3 from dnovillo at google dot com <dnovillo at google dot com> 2013-02-15 19:19:22 UTC --- Thanks for the quick fix, Vlad! Diego.