[Bug other/114951] New: Incorrect documentation link emitted for warning options ending in =

[peter0x44 at disroot dot org via Gcc-bugs]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=114951

            Bug ID: 114951
           Summary: Incorrect documentation link emitted for warning
                    options ending in =
           Product: gcc
           Version: 13.2.1
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: other
          Assignee: unassigned at gcc dot gnu.org
          Reporter: peter0x44 at disroot dot org
  Target Milestone: ---

For the following code:

#include <stdio.h>

int main(void) { printf("%f", 1); }

GCC generates a warning with the following link:

https://gcc.gnu.org/onlinedocs/gcc/Warning-Options.html#index-Wformat=

That does not properly link to the correct paragraph in the documentation.

Removing the = works:
https://gcc.gnu.org/onlinedocs/gcc/Warning-Options.html#index-Wformat

or, encoding = as _003d:
https://gcc.gnu.org/onlinedocs/gcc/Warning-Options.html#index-Wformat_003d