diff options
| author | Douglas Gregor <dgregor@apple.com> | 2009-05-07 06:41:52 +0000 |
|---|---|---|
| committer | Douglas Gregor <dgregor@apple.com> | 2009-05-07 06:41:52 +0000 |
| commit | 25a3ef7cc5fd55dc8cc67c6e6770c8595657e082 (patch) | |
| tree | 9d0b8da3f04c8523d04d964c5fad080a3889cc5a /lib/Sema/SemaTemplate.cpp | |
| parent | 4d3cbf0335dc43a281377052afa180af28f39e7f (diff) | |
Start canonicalizing template names. This is not yet complete, but it
improves type identity with dependent types.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@71152 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'lib/Sema/SemaTemplate.cpp')
| -rw-r--r-- | lib/Sema/SemaTemplate.cpp | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/lib/Sema/SemaTemplate.cpp b/lib/Sema/SemaTemplate.cpp index 3649abd9a7..6c4adbd0ae 100644 --- a/lib/Sema/SemaTemplate.cpp +++ b/lib/Sema/SemaTemplate.cpp @@ -818,8 +818,8 @@ QualType Sema::CheckTemplateIdType(TemplateName Name, // A<T, T> have identical types when A is declared as: // // template<typename T, typename U = T> struct A; - - CanonType = Context.getTemplateSpecializationType(Name, + TemplateName CanonName = Context.getCanonicalTemplateName(Name); + CanonType = Context.getTemplateSpecializationType(CanonName, &ConvertedTemplateArgs[0], ConvertedTemplateArgs.size()); } else if (ClassTemplateDecl *ClassTemplate |