http://gcc.gnu.org/bugzilla/show_bug.cgi?id=55902
--- Comment #1 from Václav Zeman <vhaisman at gmail dot com> 2013-01-07 19:53:51 UTC --- Attachment upload did not work. The following link should work: https://docs.google.com/open?id=0B-WkLJEfYmSEVHVmUzR3NDAxTFE