commit bc2e9718032727cc26dd9f589d7548e07d380f9d
author Richard Smith <richard-llvm@metafoo.co.uk> Fri Oct 17 20:56:14 2014 +0000
committer Richard Smith <richard-llvm@metafoo.co.uk> Fri Oct 17 20:56:14 2014 +0000
tree 88d5e73f94d799fdeac0fa92a3fda112efb53416
parent fa1d0a7dbf5b11fae1e987bca2e1b227fd185853

Fix the rest of PR21289: a pack expansion that we can't expand yet makes a
template specialization type dependent, even if it has no dependent template
arguments. I've filed a corresponding bug against the C++ standard.

llvm-svn: 220088

clang/lib/AST/TemplateBase.cpp

diff --git a/clang/lib/AST/TemplateBase.cpp b/clang/lib/AST/TemplateBase.cpp
index 929fdfc..f07b18e 100644
--- a/clang/lib/AST/TemplateBase.cpp
+++ b/clang/lib/AST/TemplateBase.cpp
@@ -90,7 +90,8 @@
     llvm_unreachable("Should not have a NULL template argument");
 
   case Type:
-    return getAsType()->isDependentType();
+    return getAsType()->isDependentType() ||
+           isa<PackExpansionType>(getAsType());
 
   case Template:
     return getAsTemplate().isDependent();
@@ -111,7 +112,8 @@
     return false;
 
   case Expression:
-    return (getAsExpr()->isTypeDependent() || getAsExpr()->isValueDependent());
+    return (getAsExpr()->isTypeDependent() || getAsExpr()->isValueDependent() ||
+            isa<PackExpansionExpr>(getAsExpr()));
 
   case Pack:
     for (const auto &P : pack_elements())