http://gcc.gnu.org/bugzilla/show_bug.cgi?id=32614
Paolo Carlini <paolo.carlini at oracle dot com> changed: What |Removed |Added ---------------------------------------------------------------------------- CC|gcc-bugs at gcc dot gnu.org |paolo.carlini at oracle dot | |com --- Comment #3 from Paolo Carlini <paolo.carlini at oracle dot com> 2011-10-09 15:54:30 UTC --- Tom? If I don't hear from you, I'll go ahead and do what Manuel suggested... No point in keeping this open for 4 years!