commit ba49817c5b9f502602672861cf369fd0e53966e8
author Douglas Gregor <dgregor@apple.com> Fri Mar 13 21:01:28 2009 +0000
committer Douglas Gregor <dgregor@apple.com> Fri Mar 13 21:01:28 2009 +0000
tree 678a82159237ffb3de940bf8d19e67c9641ddba7
parent e8463ef889be035312c2e40fa318bbbcfce02a3e

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.



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

lib/AST/ExprCXX.cpp

diff --git a/lib/AST/ExprCXX.cpp b/lib/AST/ExprCXX.cpp
index 184c9fe..1d4a3ba 100644
--- a/lib/AST/ExprCXX.cpp
+++ b/lib/AST/ExprCXX.cpp
@@ -216,7 +216,10 @@
                                                Expr **Args,
                                                unsigned NumArgs, 
                                                SourceLocation rParenLoc)
-  : Expr(CXXTemporaryObjectExprClass, writtenTy),
+  : Expr(CXXTemporaryObjectExprClass, writtenTy,
+         writtenTy->isDependentType(),
+         (writtenTy->isDependentType() ||
+          CallExpr::hasAnyValueDependentArguments(Args, NumArgs))),
     TyBeginLoc(tyBeginLoc), RParenLoc(rParenLoc),
     Constructor(Cons), Args(0), NumArgs(NumArgs) {
   if (NumArgs > 0) {

lib/AST/StmtSerialization.cpp

diff --git a/lib/AST/StmtSerialization.cpp b/lib/AST/StmtSerialization.cpp
index 4a90edd..78366a1 100644
--- a/lib/AST/StmtSerialization.cpp
+++ b/lib/AST/StmtSerialization.cpp
@@ -832,9 +832,14 @@
   QualType Res = QualType::ReadVal(D);
   SourceLocation OpLoc = SourceLocation::ReadVal(D);
   SourceLocation RParenLoc = SourceLocation::ReadVal(D);
-  
-  return new SizeOfAlignOfExpr(isSizeof, isType, Argument, Res,
-                               OpLoc, RParenLoc);
+
+  if (isType)
+    return new (C) SizeOfAlignOfExpr(isSizeof, 
+                                     QualType::getFromOpaquePtr(Argument),
+                                     Res, OpLoc, RParenLoc);
+
+  return new (C) SizeOfAlignOfExpr(isSizeof, (Expr *)Argument,
+                                   Res, OpLoc, RParenLoc);
 }
 
 void StmtExpr::EmitImpl(Serializer& S) const {

lib/AST/Type.cpp

diff --git a/lib/AST/Type.cpp b/lib/AST/Type.cpp
index 1b7fc1b..fc71097 100644
--- a/lib/AST/Type.cpp
+++ b/lib/AST/Type.cpp
@@ -967,9 +967,12 @@
 }
 
 void ClassTemplateSpecializationType::Destroy(ASTContext& C) {
-  for (unsigned Arg = 0; Arg < NumArgs; ++Arg)
-    if (Expr *E = getArg(Arg).getAsExpr())
-      E->Destroy(C);
+  for (unsigned Arg = 0; Arg < NumArgs; ++Arg) {
+    // FIXME: Not all expressions get cloned, so we can't yet perform
+    // this destruction.
+    //    if (Expr *E = getArg(Arg).getAsExpr())
+    //      E->Destroy(C);
+  }
 }
 
 ClassTemplateSpecializationType::iterator