commit 8b842c59fa60cb49daa0bdf07b591b80ff32ad96
author Anders Carlsson <andersca@mac.com> Sat Mar 14 00:33:21 2009 +0000
committer Anders Carlsson <andersca@mac.com> Sat Mar 14 00:33:21 2009 +0000
tree e0c7a4c925a97649266bcb22dadfb0548a5c5a55
parent c5f6de063c95e74de9f6d52ce7332cc260320ad6

Handle dependent types/exprs in static_assert expressions.

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

lib/AST/Expr.cpp

diff --git a/lib/AST/Expr.cpp b/lib/AST/Expr.cpp
index 273b5ed..e34412e 100644
--- a/lib/AST/Expr.cpp
+++ b/lib/AST/Expr.cpp
@@ -1044,6 +1044,7 @@
 }
 
 static ICEDiag CheckICE(const Expr* E, ASTContext &Ctx) {
+  assert(!E->isValueDependent() && "Should not see value dependent exprs!");
   if (!E->getType()->isIntegralType()) {
     return ICEDiag(2, E->getLocStart());
   }