http://gcc.gnu.org/bugzilla/show_bug.cgi?id=55409
--- Comment #3 from Benjamin Kircher <benjamin.kircher at gmail dot com> 2012-11-20 09:31:07 UTC --- Thank you for working on it and for the remark. NB: For the next time, where can I find the documentation?