[Bug ada/44029] References from GNAT RM to GNAT UG are broken
simon at pushface dot org
gcc-bugzilla@gcc.gnu.org
Sun Dec 6 10:03:00 GMT 2015
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/
More information about the Gcc-bugs
mailing list