aboutsummaryrefslogtreecommitdiff
path: root/lib/AST/Expr.cpp
diff options
context:
space:
mode:
Diffstat (limited to 'lib/AST/Expr.cpp')
-rw-r--r--lib/AST/Expr.cpp25
1 files changed, 25 insertions, 0 deletions
diff --git a/lib/AST/Expr.cpp b/lib/AST/Expr.cpp
index 0ff345a1a8..6d29dd1f31 100644
--- a/lib/AST/Expr.cpp
+++ b/lib/AST/Expr.cpp
@@ -622,8 +622,32 @@ Expr *Expr::IgnoreParenCasts() {
}
}
+#define USE_EVALUATE
bool Expr::isConstantExpr(ASTContext &Ctx, SourceLocation *Loc) const {
+#ifdef USE_EVALUATE
+ switch (getStmtClass()) {
+ default:
+ if (!isEvaluatable(Ctx)) {
+ if (Loc) *Loc = getLocStart();
+ return false;
+ }
+ break;
+ case StringLiteralClass:
+ case ObjCStringLiteralClass:
+ return true;
+ case InitListExprClass: {
+ const InitListExpr *Exp = cast<InitListExpr>(this);
+ unsigned numInits = Exp->getNumInits();
+ for (unsigned i = 0; i < numInits; i++) {
+ if (!Exp->getInit(i)->isConstantExpr(Ctx, Loc))
+ return false;
+ }
+ }
+ }
+
+ return true;
+#else
switch (getStmtClass()) {
default:
if (Loc) *Loc = getLocStart();
@@ -762,6 +786,7 @@ bool Expr::isConstantExpr(ASTContext &Ctx, SourceLocation *Loc) const {
case CXXDefaultArgExprClass:
return cast<CXXDefaultArgExpr>(this)->getExpr()->isConstantExpr(Ctx, Loc);
}
+#endif
}
/// isIntegerConstantExpr - this recursive routine will test if an expression is