diff options
author | Anders Carlsson <andersca@mac.com> | 2009-06-04 04:11:30 +0000 |
---|---|---|
committer | Anders Carlsson <andersca@mac.com> | 2009-06-04 04:11:30 +0000 |
commit | 4d6fb501ffc0568ca5ca7266005e96a6f1273845 (patch) | |
tree | d7b02276b7a5649fd6a8f12860d2c4cf8bdfccae /lib/Sema/SemaTemplateDeduction.cpp | |
parent | fb6fa30a9b06670deb14f862dddbc49a12552939 (diff) |
Template argument deduction for incomplete and constant array types. Doug, please review.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@72844 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'lib/Sema/SemaTemplateDeduction.cpp')
-rw-r--r-- | lib/Sema/SemaTemplateDeduction.cpp | 29 |
1 files changed, 29 insertions, 0 deletions
diff --git a/lib/Sema/SemaTemplateDeduction.cpp b/lib/Sema/SemaTemplateDeduction.cpp index c989132391..82b027c49e 100644 --- a/lib/Sema/SemaTemplateDeduction.cpp +++ b/lib/Sema/SemaTemplateDeduction.cpp @@ -100,6 +100,35 @@ static bool DeduceTemplateArguments(ASTContext &Context, QualType Param, Deduced); } + case Type::IncompleteArray: { + const IncompleteArrayType *IncompleteArrayArg = + Context.getAsIncompleteArrayType(Arg); + if (!IncompleteArrayArg) + return false; + + return DeduceTemplateArguments(Context, + Context.getAsIncompleteArrayType(Param)->getElementType(), + IncompleteArrayArg->getElementType(), + Deduced); + } + + case Type::ConstantArray: { + const ConstantArrayType *ConstantArrayArg = + Context.getAsConstantArrayType(Arg); + if (!ConstantArrayArg) + return false; + + const ConstantArrayType *ConstantArrayParm = + Context.getAsConstantArrayType(Param); + if (ConstantArrayArg->getSize() != ConstantArrayParm->getSize()) + return false; + + return DeduceTemplateArguments(Context, + ConstantArrayParm->getElementType(), + ConstantArrayArg->getElementType(), + Deduced); + } + default: break; } |