http://gcc.gnu.org/bugzilla/show_bug.cgi?id=54686
--- Comment #38 from Paolo Carlini <paolo.carlini at oracle dot com> 2012-10-05 16:57:56 UTC --- Eh, eh, hard to reconstruct now what happened at the time. Looks like an svn pasto or a plain pasto. I suppose that entire block can be removed?