[Bug tree-optimization/122197] [16/17 Regression] predictively devirtualization vs middle-end warnings since r16-4000

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

--- Comment #23 from GCC Commits <cvs-commit at gcc dot gnu.org> ---
The master branch has been updated by Jonathan Wakely <[email protected]>:

https://gcc.gnu.org/g:34b57b2e14b87f0b1261c0252f404b38f0c1aa1b

commit r17-2781-g34b57b2e14b87f0b1261c0252f404b38f0c1aa1b
Author: Jonathan Wakely <[email protected]>
Date:   Tue Jul 28 17:24:00 2026 +0100

    libstdc++: Disable more false positives in shared_ptr [PR122197]

    Extend the warning suppression added in r16-7106-g74e0bb3faacfcc to
    cover -Warray-bounds in the destructors and _M_dispose() members.

    libstdc++-v3/ChangeLog:

            PR libstdc++/122197
            * include/bits/shared_ptr_base.h (~_Sp_counted_deleter): Disable
            -Warray-bounds warnings.
            (_Sp_counted_deleter::_M_dispose): Likewise.
            (_Sp_counted_ptr_inplace::_M_dispose): Likewise.
            * testsuite/20_util/shared_ptr/dest/122197-2.cc: New test.
            * testsuite/20_util/shared_ptr/dest/122197.cc: New test.