[Bug other/92329] New: Undocumented option -f{,no-}allocation-dce

[asolokha at gmx dot com]

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

            Bug ID: 92329
           Summary: Undocumented option -f{,no-}allocation-dce
           Product: gcc
           Version: 10.0
            Status: UNCONFIRMED
          Keywords: documentation
          Severity: normal
          Priority: P3
         Component: other
          Assignee: unassigned at gcc dot gnu.org
          Reporter: asolokha at gmx dot com
                CC: marxin at gcc dot gnu.org
  Target Milestone: ---

The -f{,no-}allocation-dce option introduced in r273791 still seems to be
undocumented in the user's manual.