https://gcc.gnu.org/bugzilla/show_bug.cgi?id=52770 --- Comment #2 from Stephan Bergmann <sbergman at redhat dot com> --- Created attachment 36972 --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=36972&action=edit proposed documentation patch