http://gcc.gnu.org/bugzilla/show_bug.cgi?id=53661
--- Comment #12 from Harald van Dijk <harald at gigawatt dot nl> 2012-09-17 16:25:09 UTC --- Oops, quite right, sorry about that.
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=53661
--- Comment #12 from Harald van Dijk <harald at gigawatt dot nl> 2012-09-17 16:25:09 UTC --- Oops, quite right, sorry about that.