diff options
author | Anders Carlsson <andersca@mac.com> | 2008-12-01 06:28:23 +0000 |
---|---|---|
committer | Anders Carlsson <andersca@mac.com> | 2008-12-01 06:28:23 +0000 |
commit | eade3ad1f1f9f16796511252006abe23aa4a7231 (patch) | |
tree | 6c100b99e995c4ca71c679c6dbd61bb8599b9394 /clang/lib/AST | |
parent | 2aebea5735a9a30332e57c11cba60a10cfdbb9bd (diff) | |
download | bcm5719-llvm-eade3ad1f1f9f16796511252006abe23aa4a7231.tar.gz bcm5719-llvm-eade3ad1f1f9f16796511252006abe23aa4a7231.zip |
Revert change that made isNullPointerConstant start emitting warnings. We don't want that :)
llvm-svn: 60333
Diffstat (limited to 'clang/lib/AST')
-rw-r--r-- | clang/lib/AST/Expr.cpp | 20 |
1 files changed, 9 insertions, 11 deletions
diff --git a/clang/lib/AST/Expr.cpp b/clang/lib/AST/Expr.cpp index 4c86ce67efa..948dbc24189 100644 --- a/clang/lib/AST/Expr.cpp +++ b/clang/lib/AST/Expr.cpp @@ -1009,12 +1009,6 @@ bool Expr::isIntegerConstantExpr(llvm::APSInt &Result, ASTContext &Ctx, /// cast to void*. bool Expr::isNullPointerConstant(ASTContext &Ctx) const { - EvalResult EvalResult; - - return isNullPointerConstant(EvalResult, Ctx); -} - -bool Expr::isNullPointerConstant(EvalResult &Result, ASTContext &Ctx) const { // Strip off a cast to void*, if it exists. Except in C++. if (const ExplicitCastExpr *CE = dyn_cast<ExplicitCastExpr>(this)) { if (!Ctx.getLangOptions().CPlusPlus) { @@ -1024,20 +1018,20 @@ bool Expr::isNullPointerConstant(EvalResult &Result, ASTContext &Ctx) const { if (Pointee.getCVRQualifiers() == 0 && Pointee->isVoidType() && // to void* CE->getSubExpr()->getType()->isIntegerType()) // from int. - return CE->getSubExpr()->isNullPointerConstant(Result, Ctx); + return CE->getSubExpr()->isNullPointerConstant(Ctx); } } } else if (const ImplicitCastExpr *ICE = dyn_cast<ImplicitCastExpr>(this)) { // Ignore the ImplicitCastExpr type entirely. - return ICE->getSubExpr()->isNullPointerConstant(Result, Ctx); + return ICE->getSubExpr()->isNullPointerConstant(Ctx); } else if (const ParenExpr *PE = dyn_cast<ParenExpr>(this)) { // Accept ((void*)0) as a null pointer constant, as many other // implementations do. - return PE->getSubExpr()->isNullPointerConstant(Result, Ctx); + return PE->getSubExpr()->isNullPointerConstant(Ctx); } else if (const CXXDefaultArgExpr *DefaultArg = dyn_cast<CXXDefaultArgExpr>(this)) { // See through default argument expressions - return DefaultArg->getExpr()->isNullPointerConstant(Result, Ctx); + return DefaultArg->getExpr()->isNullPointerConstant(Ctx); } else if (isa<GNUNullExpr>(this)) { // The GNU __null extension is always a null pointer constant. return true; @@ -1049,8 +1043,12 @@ bool Expr::isNullPointerConstant(EvalResult &Result, ASTContext &Ctx) const { // If we have an integer constant expression, we need to *evaluate* it and // test for the value 0. + // FIXME: We should probably return false if we're compiling in strict mode + // and Diag is not null (this indicates that the value was foldable but not + // an ICE. + EvalResult Result; return Evaluate(Result, Ctx) && !Result.HasSideEffects && - Result.Val.isInt() && Result.Val.getInt() == 0; + Result.Val.isInt() && Result.Val.getInt() == 0; } /// isBitField - Return true if this expression is a bit-field. |