[Bug c++/105699] [Concepts] Constrained virtual functions are accepted by GCC

2022-05-24 Thread redi at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=105699 Jonathan Wakely changed: What|Removed |Added See Also|https://gcc.gnu.org/bugzill | |a/show_bug.cgi?id

[Bug c++/105699] [Concepts] Constrained virtual functions are accepted by GCC

2022-05-24 Thread redi at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=105699 Jonathan Wakely changed: What|Removed |Added Blocks||67491 Ever confirmed|0

[Bug c++/105699] [Concepts] Constrained virtual functions are accepted by GCC

2022-05-24 Thread fchelnokov at gmail dot com via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=105699 --- Comment #2 from Fedor Chelnokov --- Another aspect is that the order of destructors in the class change its behavior: #include template struct X { ~X() requires (N==1); virtual ~X(); }; // X is NOT polymorphic in GCC static_assert( !

[Bug c++/105699] [Concepts] Constrained virtual functions are accepted by GCC

2022-05-23 Thread roi.jacobson1 at gmail dot com via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=105699 --- Comment #1 from Roy Jacobson --- I want to suggest to also consider the case of overloading virtual functions with non-virtual constrained functions. There's an open CWG issue about this https://www.open-std.org/jtc1/sc22/wg21/docs/cwg_activ