This is the mail archive of the
gcc-bugs@gcc.gnu.org
mailing list for the GCC project.
[Bug c++/17132] [3.4/3.5 Regression] GCC fails to eliminate function template specialization when argument deduction fails
- From: "achovane at engin dot umich dot edu" <gcc-bugzilla at gcc dot gnu dot org>
- To: gcc-bugs at gcc dot gnu dot org
- Date: 21 Aug 2004 22:25:05 -0000
- Subject: [Bug c++/17132] [3.4/3.5 Regression] GCC fails to eliminate function template specialization when argument deduction fails
- References: <20040821205203.17132.achovane@engin.umich.edu>
- Reply-to: gcc-bugzilla at gcc dot gnu dot org
------- Additional Comments From achovane at engin dot umich dot edu 2004-08-21 22:25 -------
I am posting a third source file along with the output that GCC generates when
I try to compile it.
Here, has_deref is instantiated with a type that defines `operator*', so
argument deduction should succeed, and the appropriate specialization of the
`test' function template should be called, because `Type *' is a better match
than `void *'.
However, in this case GCC generates a different internal compiler error:
"internal compiler error: in mangle_class_name_for_template, at cp/pt.c:3848"
--
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=17132