maxjhandsome
/
llvm-project
forked from OSchip/llvm-project
1
0
Fork 0
Code Issues Pull Requests Packages Releases Wiki Activity

A few small tweaks to isConstantInitializer. (No test because this 

isn't getting used by Sema or CodeGen at the moment...)

llvm-svn: 65107
This commit is contained in:
Eli Friedman 2009-02-20 02:36:22 +00:00
parent 7157825d44
commit cf7cbe7441
1 changed files with 9 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

12
clang/lib/AST/Expr.cpp
View File

@ -794,15 +794,24 @@ bool Expr::isConstantInitializer(ASTContext &Ctx) const {
// expressions, and it can't deal with aggregates; we deal with those here,
// and fall back to isEvaluatable for the other cases.
// FIXME: This function assumes the variable being assigned to
// isn't a reference type!
switch (getStmtClass()) {
default: break;
case StringLiteralClass:
return true;
case CompoundLiteralExprClass: {
// This handles gcc's extension that allows global initializers like
// "struct x {int x;} x = (struct x) {};".
// FIXME: This accepts other cases it shouldn't!
const Expr *Exp = cast<CompoundLiteralExpr>(this)->getInitializer();
return Exp->isConstantInitializer(Ctx);
}
case InitListExprClass: {
// FIXME: This doesn't deal with fields with reference types correctly.
// FIXME: This incorrectly allows pointers cast to integers to be assigned
// to bitfields.
const InitListExpr *Exp = cast<InitListExpr>(this);
unsigned numInits = Exp->getNumInits();
for (unsigned i = 0; i < numInits; i++) {
@ -829,9 +838,6 @@ bool Expr::isConstantInitializer(ASTContext &Ctx) const {
if (getType()->isRecordType())
return cast<CastExpr>(this)->getSubExpr()->isConstantInitializer(Ctx);
break;
case DesignatedInitExprClass:
return cast<DesignatedInitExpr>(this)->
getInit()->isConstantInitializer(Ctx);
}
return isEvaluatable(Ctx);