[Bug c++/125064] [17 Regression] canonical types differ for identical types with clang::trivial_abi

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

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

--- Comment #4 from GCC Commits <cvs-commit at gcc dot gnu.org> ---
The trunk branch has been updated by Jason Merrill <ja...@gcc.gnu.org>:

https://gcc.gnu.org/g:9004416d8dd9f4c94d72d921e31dadaf85134be5

commit r17-2371-g9004416d8dd9f4c94d72d921e31dadaf85134be5
Author: Yuxuan Chen <i...@yuxuan.ch>
Date:   Mon Jul 13 18:29:22 2026 -0400

    c++: Keep type variants consistent for trivial_abi [PR125064]

    Removing trivial_abi from only the main type can leave qualified variants
    with different attributes despite sharing a canonical type.  Remove the
    rejected attribute from all variants.

    gcc/cp/ChangeLog:

            PR c++/125064
            * tree.cc (validate_trivial_abi_attribute): Remove a rejected
            trivial_abi attribute from all variants.

    gcc/testsuite/ChangeLog:

            PR c++/125064
            * g++.dg/cpp0x/attr-trivial_abi9.C: New test.

    Signed-off-by: Yuxuan Chen <i...@yuxuan.ch>