http://gcc.gnu.org/bugzilla/show_bug.cgi?id=51540
--- Comment #17 from Christopher Yeleighton <giecrilj at stegny dot 2a.pl> 2011-12-17 17:05:58 UTC --- The SGI documentation clarifies all issues well enough indeed. I wonder whether it would be a good thing to put a reference to SGI in the documentation index (with a warning that it is somewhat out of date but still useful); the SGI documentation is currently only accessible from the FAQ, and that is rather hard to discover.
