commit b084a05b3546137c71bed3cdf469b85e56deac75
author Douglas Gregor <dgregor@apple.com> Wed Jul 22 20:25:36 2009 +0000
committer Douglas Gregor <dgregor@apple.com> Wed Jul 22 20:25:36 2009 +0000
tree 18b9450779e9a0123da537f7344f291e7a024f80
parent aa26650966e13fc462985d9b8fbe420c01edf014

Canonicalize the types produced by template argument deduction.


git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@76777 91177308-0d34-0410-b5e6-96231b3b80d8

lib/Sema/SemaTemplateDeduction.cpp

diff --git a/lib/Sema/SemaTemplateDeduction.cpp b/lib/Sema/SemaTemplateDeduction.cpp
index 4e6d0f4..deb5457 100644
--- a/lib/Sema/SemaTemplateDeduction.cpp
+++ b/lib/Sema/SemaTemplateDeduction.cpp
@@ -361,7 +361,8 @@
     assert(TemplateTypeParm->getDepth() == 0 && "Can't deduce with depth > 0");
 	  
     unsigned Quals = Arg.getCVRQualifiers() & ~Param.getCVRQualifiers();
-    QualType DeducedType = Arg.getQualifiedType(Quals);
+    QualType DeducedType 
+      = Context.getCanonicalType(Arg.getQualifiedType(Quals));
 
     if (Deduced[Index].isNull())
       Deduced[Index] = TemplateArgument(SourceLocation(), DeducedType);