summaryrefslogtreecommitdiffstats
path: root/clang/lib/Sema/SemaTemplateDeduction.cpp
Commit message (Collapse)AuthorAgeFilesLines
...
* Make the TemplateArgumentList take a TemplateArgumentListBuilder.Anders Carlsson2009-06-051-2/+8
| | | | llvm-svn: 72917
* Several improvements to template argument deduction:Douglas Gregor2009-06-051-9/+221
| | | | | | | | | | | | | | - 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
* Template argument deduction for incomplete and constant array types. Doug, ↵Anders Carlsson2009-06-041-0/+29
| | | | | | please review. llvm-svn: 72844
* Template argument deduction for referencesDouglas Gregor2009-06-041-8/+35
| | | | llvm-svn: 72822
* When performing template argument deduction, ensure that multipleDouglas Gregor2009-06-041-0/+121
deductions of the same template parameter are equivalent. This allows us to implement the is_same type trait (!). Also, move template argument deduction into its own file and update a few build systems with this change (grrrr). llvm-svn: 72819
OpenPOWER on IntegriCloud