This is the mail archive of the
gcc-bugs@gcc.gnu.org
mailing list for the GCC project.
[Bug c++/14032] non type boolean template argument partial specialization to argument in parent never matches
- From: "bangerth at dealii dot org" <gcc-bugzilla at gcc dot gnu dot org>
- To: gcc-bugs at gcc dot gnu dot org
- Date: 5 Feb 2004 21:51:21 -0000
- Subject: [Bug c++/14032] non type boolean template argument partial specialization to argument in parent never matches
- References: <20040205205432.14032.tschwinger@neoscientists.org>
- Reply-to: gcc-bugzilla at gcc dot gnu dot org
------- Additional Comments From bangerth at dealii dot org 2004-02-05 21:51 -------
Confirmed. Reduced, this looks so:
---------------------------
template <bool B1> struct outer {
template <bool B2, bool B3>
struct inner {
static int f() { return inner<!B2,!B3>::N; };
};
template <bool B3>
struct inner<B1,B3> {
static const int N = 1;
};
};
int i = outer<false>::inner<true,false>::f();
---------------------------
This should compile, since in f() we should look into the specialization,
but we don't. And never did.
W.
--
What |Removed |Added
----------------------------------------------------------------------------
Status|UNCONFIRMED |NEW
Ever Confirmed| |1
Known to fail|3.3.1 3.2.3 |3.3.1 3.2.3 2.95.3 3.4.0
| |3.5.0
Last reconfirmed|0000-00-00 00:00:00 |2004-02-05 21:51:20
date| |
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=14032