]> granicus.if.org Git - clang/commitdiff
Actually rebuild function types properly when adjusting the function
authorDouglas Gregor <dgregor@apple.com>
Thu, 13 Sep 2012 22:01:49 +0000 (22:01 +0000)
committerDouglas Gregor <dgregor@apple.com>
Thu, 13 Sep 2012 22:01:49 +0000 (22:01 +0000)
type of an instantiation.

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

lib/Sema/SemaTemplateInstantiateDecl.cpp

index 858aabf8a8b812ff0751bccf950bac21aeb06357..21ddd473636bc2d4a2be14c8582b8a859837ca85 100644 (file)
@@ -1017,10 +1017,19 @@ Decl *TemplateDeclInstantiator::VisitCXXRecordDecl(CXXRecordDecl *D) {
 static QualType adjustFunctionTypeForInstantiation(ASTContext &Context,
                                                    FunctionDecl *D,
                                                    TypeSourceInfo *TInfo) {
-  const FunctionType *OrigFunc = D->getType()->castAs<FunctionType>();
-  const FunctionType *NewFunc = TInfo->getType()->castAs<FunctionType>();
-  return QualType(Context.adjustFunctionType(NewFunc, OrigFunc->getExtInfo()),
-                  0);
+  const FunctionProtoType *OrigFunc
+    = D->getType()->castAs<FunctionProtoType>();
+  const FunctionProtoType *NewFunc
+    = TInfo->getType()->castAs<FunctionProtoType>();
+  if (OrigFunc->getExtInfo() == NewFunc->getExtInfo())
+    return TInfo->getType();
+
+  FunctionProtoType::ExtProtoInfo NewEPI = NewFunc->getExtProtoInfo();
+  NewEPI.ExtInfo = OrigFunc->getExtInfo();
+  return Context.getFunctionType(NewFunc->getResultType(),
+                                 NewFunc->arg_type_begin(),
+                                 NewFunc->getNumArgs(),
+                                 NewEPI);
 }
 
 /// Normal class members are of more specific types and therefore