[Bug c++/127804] New: Regression in -Warray-bounds in analyzing polymorphic class destructors

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

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

            Bug ID: 127804
           Summary: Regression in -Warray-bounds in analyzing polymorphic
                    class destructors
           Product: gcc
           Version: 17.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: c++
          Assignee: unassigned at gcc dot gnu.org
          Reporter: gdr at gcc dot gnu.org
  Target Milestone: ---

Created attachment 65795
  --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=65795&action=edit
Source file repro of the problem

Compiling the attached file with the command line:

    g++ -O3 -Werror=array-bounds 1.cxx

results in a bogus error claiming out-of-bound access.
This is a regression from GCC-15.x series.

This is with mainline compiler:

    gcc version 17.0.0 20261008 (experimental) (GCC)