https://gcc.gnu.org/bugzilla/show_bug.cgi?id=92830
--- Comment #7 from David Malcolm <dmalcolm at gcc dot gnu.org> --- (In reply to GCC Commits from comment #5) > The master branch has been updated by David Malcolm <dmalc...@gcc.gnu.org>: > > https://gcc.gnu.org/g:fa29cf0c3f19b648e30b16fd2485c3c17a528a6e > > commit r10-7994-gfa29cf0c3f19b648e30b16fd2485c3c17a528a6e > Author: David Malcolm <dmalc...@redhat.com> > Date: Thu Dec 5 14:47:35 2019 -0500 [...] > I considered various schemes involving adding extra tags to the .opt > format to capture where options are documented, but for now this patch > fixes the issue by introducing some special-casing logic. FWIW I've implemented such a scheme for GCC 14, in r14-6920-g9e49746da303b8 through r14-6923-g4ded42c2c5a5c9.