This is the mail archive of the
gcc-bugs@gcc.gnu.org
mailing list for the GCC project.
[Bug c++/29704] [4.1 Regression] ICE: default non-type template argument of pointer-to-member type
- From: "bangerth at dealii dot org" <gcc-bugzilla at gcc dot gnu dot org>
- To: gcc-bugs at gcc dot gnu dot org
- Date: 14 Nov 2006 03:45:19 -0000
- Subject: [Bug c++/29704] [4.1 Regression] ICE: default non-type template argument of pointer-to-member type
- References: <bug-29704-1824@http.gcc.gnu.org/bugzilla/>
- Reply-to: gcc-bugzilla at gcc dot gnu dot org
------- Comment #2 from bangerth at dealii dot org 2006-11-14 03:45 -------
I believe the code is in fact invalid, based on 14.3.2/1 and this wording
in 14.3.2/5:
-- For a non-type template-parameter of type pointer to member
function, no conversions apply.
The latter reference means that there is also no way to simply say
template <void (C::*pmf)(int) = 0 >
struct S { };
because the argument is not converted.
W.
--
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=29704