http://gcc.gnu.org/bugzilla/show_bug.cgi?id=58724
--- Comment #2 from Akim Demaille <akim.demaille at gmail dot com> --- Hi Paolo, Sorry, I don't have a checked out version of the GCC. I'll try to make one tomorrow. Please, note that I was also mentioning the fact that the documentation is not sufficiently clear, IMHO.
