--- Comment #9 from jsm28 at gcc dot gnu dot org 2008-07-04 15:54 ---
Closing 4.1 branch.
--
jsm28 at gcc dot gnu dot org changed:
What|Removed |Added
--- Comment #8 from rguenth at gcc dot gnu dot org 2008-01-13 12:57 ---
3.4 rejects this with
t.C:6: error: `((void (C::*)(int)))0)' is not a valid template argument
t.C:6: error: it must be a pointer-to-member of the form `X::Y'
t.C:6: error: invalid type in declaration before ';'
--- Comment #6 from brolley at redhat dot com 2007-06-07 15:48 ---
As Andrew Pinski has noted, 4.2.0 rejects the code with a proper error message.
The latest trunk does the same. The change which fixes this is
2006-08-20 Mark Mitchell [EMAIL PROTECTED]
PR c++/28341
*
--- Comment #7 from brolley at redhat dot com 2007-06-07 15:49 ---
Created an attachment (id=13665)
-- (http://gcc.gnu.org/bugzilla/attachment.cgi?id=13665action=view)
Proposed Patch
--
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=29704
--
mmitchel at gcc dot gnu dot org changed:
What|Removed |Added
Target Milestone|4.1.2 |4.1.3
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=29704
--- Comment #5 from jens dot maurer at gmx dot net 2006-11-15 21:01 ---
Oops, you're right. I was looking at N2134, the current working paper (not yet
approved as a standard).
Indeed, at the October 2005 meeting of WG21, the resolution for core issue 354
was voted for incorporation
--- Comment #3 from jens dot maurer at gmx dot net 2006-11-14 20:24 ---
I agree with Wolfgang's interpretation of the standard, but can't see why it
renders my original code invalid.
14.3.2/1 says that a constant expression that evaluates to a null member
pointer value is allowed as a
--- Comment #4 from bangerth at dealii dot org 2006-11-15 02:09 ---
(In reply to comment #3)
14.3.2/1 says that a constant expression that evaluates to a null member
pointer value is allowed as a non-type template argument, with an explicit
reference to 4.11, which explains how to
--- 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
--
mmitchel at gcc dot gnu dot org changed:
What|Removed |Added
Priority|P3 |P2
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=29704
--
pinskia at gcc dot gnu dot org changed:
What|Removed |Added
Summary|ICE: default non-type |[4.1 Regression] ICE:
|template argument of
11 matches
Mail list logo
