[Bug tree-optimization/120572] New: -Wmusttail-local-addr/-Wno-maybe-musttail-local-addr is incorrect in the index

[pinskia at gcc dot gnu.org via Gcc-bugs]

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

            Bug ID: 120572
           Summary: -Wmusttail-local-addr/-Wno-maybe-musttail-local-addr
                    is incorrect in the index
           Product: gcc
           Version: 16.0
            Status: UNCONFIRMED
          Keywords: documentation
          Severity: normal
          Priority: P3
         Component: tree-optimization
          Assignee: pinskia at gcc dot gnu.org
          Reporter: pinskia at gcc dot gnu.org
  Target Milestone: ---

https://gcc.gnu.org/onlinedocs/gcc-15.1.0/gcc/Option-Index.html

They are listed as -Wmusttail-local-addr and -Wno-maybe-musttail-local-addr

rather than without the -.

I will fix this tomorrow or so.