------- Comment #4 from rguenth at gcc dot gnu dot org 2006-01-19 13:15 -------
So, for
template <typename T> int qCompare(const T *t1, const T *t2) { return 1; }
template <typename T> int qCompare(T *t1, T *t2) { return 2; }
template <typename T1, typename T2> int qCompare(const T1 *t1, const T2 *t2) {
return 3; }
template<> int qCompare(const char *t1, const char *t2) { return 4; }
int main()
{
return qCompare("a", "b");
}
gcc returns 1, if you swap the first two decls it returns 4, likewise if you
remove the function that returns 3 regardless of ordering of the first two
lines.
So, the bug is it should unconditionally return 4 or diagnose the ambiguous
specialization.
--
rguenth at gcc dot gnu dot org changed:
What |Removed |Added
----------------------------------------------------------------------------
Status|UNCONFIRMED |NEW
Ever Confirmed|0 |1
Last reconfirmed|0000-00-00 00:00:00 |2006-01-19 13:15:22
date| |
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=25855
