aboutsummaryrefslogtreecommitdiff
path: root/lib/Sema/SemaTemplateDeduction.cpp
AgeCommit message (Expand)Author
2010-03-31Rename TypenameType to DependentNameType in anticipation of someDouglas Gregor
2010-03-28After performing template argument deduction for a function template,Douglas Gregor
2010-03-26When deducing an integral template argument for a non-type templateDouglas Gregor
2010-03-25Improve our handling of local instantiation scopes in two related ways:Douglas Gregor
2010-03-10Create a new InjectedClassNameType to represent bare-word references to the John McCall
2010-03-01Split out types that are non-canonical unless dependent as their ownJohn McCall
2010-02-08Thread a source location into the template-argument deduction routines. ThereJohn McCall
2010-02-07Require a complete type before examining base classes during template argumentChandler Carruth
2010-02-02Extract a common base class between UnresolvedLookupExpr andJohn McCall
2010-02-02Implement C++ [temp.deduct.call]p6, template argument deduction for overloadedJohn McCall
2010-01-27Implement access control for overloaded functions. Suppress access controlJohn McCall
2010-01-14After dyn_cast'ing, it generally makes sense to check the *output* ofDouglas Gregor
2010-01-11When resolving a single function template specialization to aDouglas Gregor
2010-01-11Implement name lookup for conversion function template specializationsDouglas Gregor
2010-01-04Make sure to use ASTContext::getAs*ArrayType() when decomposing arrayDouglas Gregor
2009-12-30More fixes to the handling of CVR-comparisons on array types. Adds a method toChandler Carruth
2009-12-29Correctly refer to element CVR qualifications when determining if a type isChandler Carruth
2009-12-29Get rid of FixedWidthIntType, as suggested by Chris and Eli.Anders Carlsson
2009-12-21When a template-id refers to a single function template, and theDouglas Gregor
2009-12-21Introduce an assertion to ensure that template argument deduction doesDouglas Gregor
2009-12-04Fix "using typename" and the instantiation of non-dependent using declarations.John McCall
2009-11-28Remove remaining VISIBILITY_HIDDEN from anonymous namespaces.Benjamin Kramer
2009-11-25Implement support for default template arguments of function templates.Douglas Gregor
2009-11-23Encapsulate "an array of TemplateArgumentLocs and two angle bracket locations...John McCall
2009-11-16First part of changes to eliminate problems with cv-qualifiers andDouglas Gregor
2009-11-13Revert r88718, which does NOT solve the constructor-template-as-copy-construc...Douglas Gregor
2009-11-13Template argument deduction of a non-type template parameter from aDouglas Gregor
2009-11-13A constructor template cannot be instantiated to a copyDouglas Gregor
2009-11-11Template argument deduction for template template parameters. ThisDouglas Gregor
2009-11-11Introduce a new representation for template templateDouglas Gregor
2009-10-29Track source information for template arguments and template specializationJohn McCall
2009-10-29Implement support for semantic checking and template instantiation ofDouglas Gregor
2009-10-25Audit the code for places where it is assumed that every base specifier refer...Sebastian Redl
2009-10-23Store the builtin types as CanQualTypes. Expand a bit on the CanQual API,John McCall
2009-10-22Canonicality is a property of qualified types, not unqualified types.John McCall
2009-09-30Improve template argument deduction in the case where the parameterDouglas Gregor
2009-09-25WIP implementation of explicit instantiation of function templates,Douglas Gregor
2009-09-24WIP implementation of explicit function template specialization. ThisDouglas Gregor
2009-09-24Refactor the representation of qualifiers to bring ExtQualType out of theJohn McCall
2009-09-21Change all the Type::getAsFoo() methods to specializations of Type::getAs().John McCall
2009-09-18Make the construction of the code-completion string for a functionDouglas Gregor
2009-09-15Add an assertion and a test case, in a fruitless attempt to track down an exi...Douglas Gregor
2009-09-15Slightly improved template argument deduction for use in partialDouglas Gregor
2009-09-15Implement partial ordering of class template partial specializations Douglas Gregor
2009-09-14Refactor MarkDeductedTemplateParameters intoDouglas Gregor
2009-09-14Tighten up checking of non-dependent arguments as part of templateDouglas Gregor
2009-09-14Implement partial ordering of function template specializations Douglas Gregor
2009-09-09Remove tabs, and whitespace cleanups.Mike Stump
2009-08-28Tighten up the conversion from a single-level template argument listDouglas Gregor
2009-08-25Clarify the difference between substitution and instantiation by renamingJohn McCall