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

--- Comment #11 from GCC Commits <cvs-commit at gcc dot gnu.org> ---
The trunk branch has been updated by Jason Merrill <[email protected]>:

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

commit r16-1054-gd7f33a35bffe7b331b0f8475e52c2dcc1c5d2ea8
Author: Jason Merrill <[email protected]>
Date:   Mon Jun 2 10:09:07 2025 -0400

    c++: __is_destructible fixes [PR107600]

    destructible_expr was wrongly assuming that TO is a class type.

    When is_xible_helper was added in r8-742 it returned early for abstract
    class types, which is correct for __is_constructible, but not
    __is_assignable or (now) __is_destructible.

            PR c++/107600

    gcc/cp/ChangeLog:

            * method.cc (destructible_expr): Handle non-classes.
            (constructible_expr): Check for abstract class here...
            (is_xible_helper): ...not here.

    gcc/testsuite/ChangeLog:

            * g++.dg/ext/is_destructible2.C: New test.

Reply via email to