This is the mail archive of the
gcc-bugs@gcc.gnu.org
mailing list for the GCC project.
[Bug c++/13640] Failing to reject class template partial specialization which can never be selected
- From: "giovannibajo at libero dot it" <gcc-bugzilla at gcc dot gnu dot org>
- To: gcc-bugs at gcc dot gnu dot org
- Date: 1 Mar 2004 01:14:36 -0000
- Subject: [Bug c++/13640] Failing to reject class template partial specialization which can never be selected
- References: <20040110200828.13640.giovannibajo@libero.it>
- Reply-to: gcc-bugzilla at gcc dot gnu dot org
------- Additional Comments From giovannibajo at libero dot it 2004-03-01 01:14 -------
(In reply to comment #8)
> And if you're going to make that a warning, please
> put it off by default, because that is going to waste cycles and increase
> compile-time -- because, you'll need to do partial template ordering.
I'm looking into a simple sintactic solution. Within
process_partial_specialization, I go through the inner_args and check if the
template parameters appear only in non-deduced contexts (for a start: within
nested-name-specifiers). If that's true, I emit a warning. Am I missing
something? It looks like it's going to work.
--
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=13640