]> granicus.if.org Git - clang/commit
Implement name lookup for conversion function template specializations
authorDouglas Gregor <dgregor@apple.com>
Mon, 11 Jan 2010 18:40:55 +0000 (18:40 +0000)
committerDouglas Gregor <dgregor@apple.com>
Mon, 11 Jan 2010 18:40:55 +0000 (18:40 +0000)
commit48026d26fb58e413544874eead5491b1452e2ebf
treef127a8bd8fcb8f4b13233e4cf0428059255f0375
parentc374cd978abdeb289d360426129886f6e354a459
Implement name lookup for conversion function template specializations
(C++ [temp.mem]p5-6), which involves template argument deduction based
on the type named, e.g., given

  struct X { template<typename T> operator T*(); } x;

when we call

  x.operator int*();

we perform template argument deduction to determine that T=int. This
template argument deduction is needed for template specialization and
explicit instantiation, e.g.,

  template<> X::operator float*() { /* ... */ }

and when calling or otherwise naming a conversion function (as in the
first example).

This fixes PR5742 and PR5762, although there's some remaining ugliness
that's causing out-of-line definitions of conversion function
templates to fail. I'll look into that separately.

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@93162 91177308-0d34-0410-b5e6-96231b3b80d8
include/clang/AST/DeclarationName.h
lib/AST/DeclarationName.cpp
lib/AST/TypePrinter.cpp
lib/Sema/Sema.h
lib/Sema/SemaDeclCXX.cpp
lib/Sema/SemaExpr.cpp
lib/Sema/SemaLookup.cpp
lib/Sema/SemaOverload.cpp
lib/Sema/SemaTemplate.cpp
lib/Sema/SemaTemplateDeduction.cpp
lib/Sema/SemaType.cpp