https://gcc.gnu.org/bugzilla/show_bug.cgi?id=44029
--- Comment #2 from simon at pushface dot org --- The bug I reported is (from here) still present exactly as reported, for all documentation releases up to 4.9.3. At 5.3[1], the RM cunningly works round the original problem by replacing the link with plain unlinked text: "see the section on Optimization and Strict Aliasing in the GNAT User's Guide." Somewhat unfortunately, the UG[2] is now generated at gnat_ugn, not gnat_ugn_unw, which means that the RM didn’t actually need fixing at all! [1] https://gcc.gnu.org/onlinedocs/gcc-5.3.0/gnat_rm/Pragma-No_005fStrict_005fAliasing.html#Pragma-No_005fStrict_005fAliasing [2] https://gcc.gnu.org/onlinedocs/gcc-5.3.0/gnat_ugn/
