[ms-cxxabi] Add "$$C" when mangling template arg QualTypes

Credit goes to Timur Iskhodzhanov for finding the problem and solution.

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

diff --git a/lib/AST/MicrosoftMangle.cpp b/lib/AST/MicrosoftMangle.cpp
index 40f8730e61afea67b45a19374877198c46d91673..9cd6bac971f5c522c3931631540a7945e3fc7216 100644 (file)
--- a/lib/AST/MicrosoftMangle.cpp
+++ b/lib/AST/MicrosoftMangle.cpp
@@ -824,9 +824,13 @@ MicrosoftCXXNameMangler::mangleTemplateArgs(const TemplateDecl *TD,
     switch (TA.getKind()) {
     case TemplateArgument::Null:
       llvm_unreachable("Can't mangle null template arguments!");
-    case TemplateArgument::Type:
-      mangleType(TA.getAsType(), SourceRange());
+    case TemplateArgument::Type: {
+      QualType T = TA.getAsType();
+      if (T.hasQualifiers())
+        Out << "$$C";
+      mangleType(T, SourceRange());
       break;
+    }
     case TemplateArgument::Declaration:
       mangle(cast<NamedDecl>(TA.getAsDecl()), "$1?");
       break;

diff --git a/test/CodeGenCXX/mangle-ms-templates.cpp b/test/CodeGenCXX/mangle-ms-templates.cpp
index d0e8af48884a20dfe571d8383c61b9dda56304c5..7b7f30bb7274a9618cdcf88535bbd3b6b045a0ec 100644 (file)
--- a/test/CodeGenCXX/mangle-ms-templates.cpp
+++ b/test/CodeGenCXX/mangle-ms-templates.cpp
@@ -35,6 +35,18 @@ void template_mangling() {
   c1.method();
 // CHECK: call {{.*}} @"\01?method@?$Class@VTypename@@@@QAEXXZ"
 
+  Class<const Typename> c1_const;
+  Class<volatile Typename> c1_volatile;
+  Class<const volatile Typename> c1_cv;
+  c1_const.method();
+  c1_volatile.method();
+  c1_cv.method();
+// Types with qualifiers have an extra $$C escape when used as template
+// arguments.  Not sure why.
+// CHECK: call {{.*}} @"\01?method@?$Class@$$CBVTypename@@@@QAEXXZ"
+// CHECK: call {{.*}} @"\01?method@?$Class@$$CCVTypename@@@@QAEXXZ"
+// CHECK: call {{.*}} @"\01?method@?$Class@$$CDVTypename@@@@QAEXXZ"
+
   Class<Nested<Typename> > c2;
   c2.method();
 // CHECK: call {{.*}} @"\01?method@?$Class@V?$Nested@VTypename@@@@@@QAEXXZ"