http://gcc.gnu.org/bugzilla/show_bug.cgi?id=53766
--- Comment #5 from Duncan Sands <baldrick at gcc dot gnu.org> 2012-12-15 20:04:16 UTC --- Thanks for fixing the problem!
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=53766
--- Comment #5 from Duncan Sands <baldrick at gcc dot gnu.org> 2012-12-15 20:04:16 UTC --- Thanks for fixing the problem!