http://gcc.gnu.org/bugzilla/show_bug.cgi?id=50595
Bug #: 50595
Summary: template overload resolution insufficiently sensitive
to name dependency?
Classification: Unclassified
Product: gcc
Version: 4.6.1
Status: UNCONFIRMED
Severity: normal
Priority: P3
Component: c++
AssignedTo: unassig...@gcc.gnu.org
ReportedBy: za...@panix.com
Created attachment 25401
--> http://gcc.gnu.org/bugzilla/attachment.cgi?id=25401
test case
Per http://stackoverflow.com/questions/7630806 the expected output of the
attached test case should be
f(char): 1
f(int): T(1)
f(int): t
f(char): 1
f(char): T(1)
f(char): t
since the second and third calls to f() in g() have arguments that are
template-dependent, so resolution of *those* function calls (but not the first
call) should be deferred until the point of instantiation (h()), at which time
both f(int) and f(char) are visible. What actually happens with g++ 4.6 is
f(char): 1
f(char): T(1)
f(char): t
f(char): 1
f(char): T(1)
f(char): t
I'm not 100% convinced by the argument above, but I am convinced enough to see
what y'all think.
