[Bug c++/102284] Can access object outside of its lifetime during constant evaluation

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

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

--- Comment #11 from GCC Commits <cvs-commit at gcc dot gnu.org> ---
The master branch has been updated by Jonathan Wakely <r...@gcc.gnu.org>:

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

commit r16-2256-ga63b663c7bf77e38d90cebe993a3de8a548f8d66
Author: Jonathan Wakely <jwak...@redhat.com>
Date:   Thu Jul 10 14:12:44 2025 +0100

    libstdc++: Ensure that ranges::destroy destroys in constexpr [PR121024]

    The new test is currently marked as XFAIL because PR c++/102284 means
    that GCC doesn't notice that the lifetimes have ended.

    libstdc++-v3/ChangeLog:

            PR libstdc++/121024
            * include/bits/ranges_uninitialized.h (ranges::destroy): Do not
            optimize away trivial destructors during constant evaluation.
            (ranges::destroy_n): Likewise.
            * testsuite/20_util/specialized_algorithms/destroy/121024.cc:
            New test.

    Reviewed-by: Tomasz KamiÅski <tkami...@redhat.com>