[Bug c++/85282] New: CWG 727 (full specialization in non-namespace scope)

2018-04-07 Thread songyuanyao at qq dot com
Component: c++ Assignee: unassigned at gcc dot gnu.org Reporter: songyuanyao at qq dot com Target Milestone: --- According to CWG 727, the following code should be accepted; i.e. full specialization may be declared inside class definition. struct A { template struct B; template

[Bug c++/85282] CWG 727 (full specialization in non-namespace scope)

2018-04-07 Thread songyuanyao at qq dot com
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=85282 --- Comment #1 from songyuanyao --- The error message for the code (from gcc8.0.1): error: explicit specialization in non-namespace scope

[Bug c++/103048] New: Mandatory copy elision used for catch-by-value

2021-11-02 Thread songyuanyao at qq dot com via Gcc-bugs
: c++ Assignee: unassigned at gcc dot gnu.org Reporter: songyuanyao at qq dot com Target Milestone: --- struct B { B() = default; B(const B&) = delete; }; int main() { try { throw B{}; } catch (B) {} } This code shouldn't compile acc

[Bug c++/103048] Mandatory copy elision used for catch-by-value

2021-11-02 Thread songyuanyao at qq dot com via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=103048 --- Comment #1 from songyuanyao --- https://timsong-cpp.github.io/cppwp/except#throw-5