[Bug c++/80841] Fails to match template specialization with polymorphic non-type template argument

2022-01-06 Thread pinskia at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=80841 --- Comment #5 from Andrew Pinski --- For the original testcase, GCC accepts the code even for -std=c++17 starting with GCC 7.2.0 (and 8+) and rejected it in GCC 7.1.0 with: : In function 'int main()': :22:95: error: invalid use of incomplete

[Bug c++/80841] Fails to match template specialization with polymorphic non-type template argument

2017-05-22 Thread cipherjason at hotmail dot com
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=80841 --- Comment #4 from Jason Bell --- (In reply to Daniel Krügler from comment #3) > (In reply to Jason Bell from comment #2) > > Thanks that's a good reduced example. I've changed it slightly so it works > > with constexpr input. > > But that is

[Bug c++/80841] Fails to match template specialization with polymorphic non-type template argument

2017-05-22 Thread daniel.kruegler at googlemail dot com
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=80841 --- Comment #3 from Daniel Krügler --- (In reply to Jason Bell from comment #2) > Thanks that's a good reduced example. I've changed it slightly so it works > with constexpr input. But that is just adding additional complexity: The constexpr

[Bug c++/80841] Fails to match template specialization with polymorphic non-type template argument

2017-05-22 Thread cipherjason at hotmail dot com
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=80841 --- Comment #2 from Jason Bell --- Thanks that's a good reduced example. I've changed it slightly so it works with constexpr input. //# template struct A {}; template struct B {}; template struct

[Bug c++/80841] Fails to match template specialization with polymorphic non-type template argument

2017-05-20 Thread daniel.kruegler at googlemail dot com
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=80841 Daniel Krügler changed: What|Removed |Added CC||daniel.kruegler@googlemail.