b7ae10f764baceba4c890fa44ef14b71822ebd85 - toolchain/llvm-project

commit	b7ae10f764baceba4c890fa44ef14b71822ebd85	[log] [tgz]
author	Douglas Gregor <dgregor@apple.com>	Fri Jun 05 00:53:49 2009 +0000
committer	Douglas Gregor <dgregor@apple.com>	Fri Jun 05 00:53:49 2009 +0000
tree	fbde148b9fda7e4174e23c84d8f5fdd5a1930ae9
parent	8df7462f698becbef4fc0e7459c065810c38175a [diff]

Several improvements to template argument deduction:
  - Once we have deduced template arguments for a class template partial
    specialization, we use exactly those template arguments for instantiating
    the definition of the class template partial specialization.
  - Added template argument deduction for non-type template parameters.
  - Added template argument deduction for dependently-sized array types.

With these changes, we can now implement, e.g., the remove_reference
type trait. Also, Daniel's Ackermann template metaprogram now compiles
properly.

llvm-svn: 72909

clang/include/clang/AST/DeclTemplate.h[diff]
clang/lib/Sema/Sema.h[diff]
clang/lib/Sema/SemaTemplateDeduction.cpp[diff]
clang/lib/Sema/SemaTemplateInstantiate.cpp[diff]
clang/lib/Sema/SemaTemplateInstantiateExpr.cpp[diff]
clang/test/SemaTemplate/ackermann.cpp[Added - diff]
clang/test/SemaTemplate/temp_class_spec.cpp[diff]

7 files changed

tree: fbde148b9fda7e4174e23c84d8f5fdd5a1930ae9

clang/
llvm/