Implement template instantiation for several more kinds of expressions:

  - C++ function casts, e.g., T(foo)
  - sizeof(), alignof()

More importantly, this allows us to verify that we're performing
overload resolution during template instantiation, with
argument-dependent lookup and the "cached" results of name lookup from
the template definition.

llvm-svn: 66947

1 files changed, 8 insertions, 1 deletions

diff --git a/clang/lib/Sema/SemaTemplate.cpp b/clang/lib/Sema/SemaTemplate.cpp
index 6fc45155717..3780259d43b 100644
--- a/clang/lib/Sema/SemaTemplate.cpp
+++ b/clang/lib/Sema/SemaTemplate.cpp
@@ -1275,7 +1275,14 @@ bool Sema::CheckTemplateArgument(NonTypeTemplateParmDecl *Param,
       QualType IntegerType = Context.getCanonicalType(ParamType);
       if (const EnumType *Enum = IntegerType->getAsEnumType())
         IntegerType = Enum->getDecl()->getIntegerType();
-      
+
+      if (Arg->isValueDependent()) {
+        // The argument is value-dependent. Create a new
+        // TemplateArgument with the converted expression.
+        Converted->push_back(TemplateArgument(Arg));
+        return false;
+      } 
+
       llvm::APInt CanonicalArg(Context.getTypeSize(IntegerType), 0, 
                                IntegerType->isSignedIntegerType());
       CanonicalArg = Value;