This is the mail archive of the
gcc-bugs@gcc.gnu.org
mailing list for the GCC project.
[Bug c++/17232] classes and class template specializations treated differently w.r.t. core issue #337
- From: "bangerth at dealii dot org" <gcc-bugzilla at gcc dot gnu dot org>
- To: gcc-bugs at gcc dot gnu dot org
- Date: 30 Aug 2004 20:56:39 -0000
- Subject: [Bug c++/17232] classes and class template specializations treated differently w.r.t. core issue #337
- References: <20040829175551.17232.cludwig@cdc.informatik.tu-darmstadt.de>
- Reply-to: gcc-bugzilla at gcc dot gnu dot org
------- Additional Comments From bangerth at dealii dot org 2004-08-30 20:56 -------
In my view, 14.7.1/4 clearly indicates that the type should be instantiated.
In particular, the sub-sentence on overload resolution seems imminent to me.
The question whether the resulting (abstract) type will then cause us to
reject the template function is a different matter and covered by DR 337.
It is only in WP status, but it seems clear to me that it will eventually
be adopted, and gcc seems to have it implemented already anyway, so it
seems safe to take it as a basis. In that case, if my view of 14.7.1 is
correct, then we erroneously miscompile the program, as is EDG.
W.
--
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=17232