http://gcc.gnu.org/bugzilla/show_bug.cgi?id=17729
--- Comment #27 from Paolo Carlini <paolo.carlini at oracle dot com> 2012-10-23 14:55:16 UTC --- I suppose the last tentative patch should be posted to gcc-patches? Even if it requires changes, I don't think we are going to make progress if it only remains attached here...