[Bug c++/107600] New __is_destructible built-in

2025-06-03 Thread redi at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=107600 --- Comment #15 from Jonathan Wakely --- Thanks for the fixes, uses the new built-ins since r16-1077-gb32bf304793047

[Bug c++/107600] New __is_destructible built-in

2025-06-02 Thread hjl.tools at gmail dot com via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=107600 --- Comment #14 from H.J. Lu --- *** Bug 120504 has been marked as a duplicate of this bug. ***

[Bug c++/107600] New __is_destructible built-in

2025-06-02 Thread cvs-commit at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=107600 --- Comment #13 from GCC Commits --- The trunk branch has been updated by Jason Merrill : https://gcc.gnu.org/g:3d287bff14885598c75c1cb16b08e0ba4ba05bce commit r16-1063-g3d287bff14885598c75c1cb16b08e0ba4ba05bce Author: Jason Merrill Date: M

[Bug c++/107600] New __is_destructible built-in

2025-06-02 Thread redi at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=107600 --- Comment #12 from Jonathan Wakely --- These were working before, but fail after r16-1054 static_assert( __is_destructible(int&) ); static_assert( __is_destructible(int&&) ); static_assert( __is_destructible(int(&)[1]) ); static_assert( __is_

[Bug c++/107600] New __is_destructible built-in

2025-06-02 Thread cvs-commit at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=107600 --- Comment #10 from GCC Commits --- The trunk branch has been updated by Jason Merrill : https://gcc.gnu.org/g:8a42538f9693a6608bb733860adec75a691f1940 commit r16-1053-g8a42538f9693a6608bb733860adec75a691f1940 Author: Jason Merrill Date: M

[Bug c++/107600] New __is_destructible built-in

2025-06-02 Thread cvs-commit at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=107600 --- Comment #11 from GCC Commits --- The trunk branch has been updated by Jason Merrill : https://gcc.gnu.org/g:d7f33a35bffe7b331b0f8475e52c2dcc1c5d2ea8 commit r16-1054-gd7f33a35bffe7b331b0f8475e52c2dcc1c5d2ea8 Author: Jason Merrill Date: M

[Bug c++/107600] New __is_destructible built-in

2025-06-02 Thread jason at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=107600 --- Comment #9 from Jason Merrill --- Created attachment 61560 --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=61560&action=edit regression fixes Thanks, now testing these fixes for those three issues:

[Bug c++/107600] New __is_destructible built-in

2025-06-02 Thread redi at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=107600 --- Comment #8 from Jonathan Wakely --- And for this type but I haven't figured out why: #include static_assert( __is_destructible(std::error_category) );

[Bug c++/107600] New __is_destructible built-in

2025-06-02 Thread redi at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=107600 --- Comment #7 from Jonathan Wakely --- The new built-in seems wrong for function types: static_assert( not __is_destructible(int()) ); static_assert( not __is_nothrow_destructible(int()) ); static_assert( not __is_trivially_destructible(int())

[Bug c++/107600] New __is_destructible built-in

2025-06-01 Thread redi at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=107600 --- Comment #6 from Jonathan Wakely --- This regressed the following testcase: struct X; template struct default_delete { void operator()(T*) { static_assert(sizeof(T), "type is not incomplete"); } }; template> struct unique_ptr { ~unique

[Bug c++/107600] New __is_destructible built-in

2025-05-28 Thread jason at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=107600 Jason Merrill changed: What|Removed |Added Resolution|--- |FIXED Target Milestone|---

[Bug c++/107600] New __is_destructible built-in

2025-05-28 Thread cvs-commit at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=107600 --- Comment #4 from GCC Commits --- The trunk branch has been updated by Jason Merrill : https://gcc.gnu.org/g:0629924777ea20d56d9ea40c3915eb0327a22ac7 commit r16-944-g0629924777ea20d56d9ea40c3915eb0327a22ac7 Author: Jason Merrill Date: Wed

[Bug c++/107600] New __is_destructible built-in

2025-05-28 Thread jason at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=107600 Jason Merrill changed: What|Removed |Added Assignee|unassigned at gcc dot gnu.org |jason at gcc dot gnu.org

[Bug c++/107600] New __is_destructible built-in

2025-05-28 Thread redi at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=107600 Jonathan Wakely changed: What|Removed |Added Last reconfirmed|2022-11-10 00:00:00 |2025-5-28 --- Comment #3 from Jonatha

[Bug c++/107600] New __is_destructible built-in

2022-11-09 Thread redi at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=107600 --- Comment #2 from Jonathan Wakely --- I committed r13-3870-g0cbb756fe9c8e1 to speed up the std::destructible concept, so an intrinsic is not urgent. But it would probably be even better than the new implementation, and would also help other pa

[Bug c++/107600] New __is_destructible built-in

2022-11-09 Thread mpolacek at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=107600 Marek Polacek changed: What|Removed |Added Status|UNCONFIRMED |NEW CC|

[Bug c++/107600] New __is_destructible built-in

2022-11-09 Thread redi at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=107600 --- Comment #1 from Jonathan Wakely --- And as with the others, __is_nothrow_destructible, which is what the concepts depend on specifically: /// [concept.destructible], concept destructible template concept destructible = is_nothrow_de