[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 #24 from GCC Commits <cvs-commit at gcc dot gnu.org> ---
The releases/gcc-16 branch has been updated by Jonathan Wakely
<[email protected]>:

https://gcc.gnu.org/g:b6274f4ec32dc4a8855459384ac899316e7a34f2

commit r16-9434-gb6274f4ec32dc4a8855459384ac899316e7a34f2
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.

    (cherry picked from commit 34b57b2e14b87f0b1261c0252f404b38f0c1aa1b)