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.  | 

