Fix for PR2720; be a little bit more permissive in initializers for

casting pointers to integers.

Eventually, we should check whether we can evaluate an expression
using Expr::tryEvaluate, and this codepath should be tightened to only
handle standard-compliant cases.

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

diff --git a/lib/Sema/SemaDecl.cpp b/lib/Sema/SemaDecl.cpp
index d8d77b0d5427350da0324686c3e9272a061e6e0b..066969ce9e81687a0bdbc79c97d768f9cc4cb812 100644 (file)
--- a/lib/Sema/SemaDecl.cpp
+++ b/lib/Sema/SemaDecl.cpp
@@ -927,35 +927,37 @@ bool Sema::CheckAddressConstantExpression(const Expr* Init) {
     return CheckAddressConstantExpression(PExp) ||
            CheckArithmeticConstantExpression(IExp);
   }
-  case Expr::ImplicitCastExprClass: {
-    const Expr* SubExpr = cast<ImplicitCastExpr>(Init)->getSubExpr();
-
-    // Check for implicit promotion
-    if (SubExpr->getType()->isFunctionType() ||
-        SubExpr->getType()->isArrayType())
-      return CheckAddressConstantExpressionLValue(SubExpr);
-
-    // Check for pointer->pointer cast
-    if (SubExpr->getType()->isPointerType())
-      return CheckAddressConstantExpression(SubExpr);
-
-    if (SubExpr->getType()->isArithmeticType())
-      return CheckArithmeticConstantExpression(SubExpr);
-
-    Diag(Init->getExprLoc(),
-         diag::err_init_element_not_constant, Init->getSourceRange());
-    return true;
-  }
+  case Expr::ImplicitCastExprClass:
   case Expr::ExplicitCastExprClass: {
     const Expr* SubExpr = cast<CastExpr>(Init)->getSubExpr();
+    if (Init->getStmtClass() == Expr::ImplicitCastExprClass) {
+      // Check for implicit promotion
+      if (SubExpr->getType()->isFunctionType() ||
+          SubExpr->getType()->isArrayType())
+        return CheckAddressConstantExpressionLValue(SubExpr);
+    }
 
     // Check for pointer->pointer cast
     if (SubExpr->getType()->isPointerType())
       return CheckAddressConstantExpression(SubExpr);
 
-    // FIXME: Should we pedwarn for (int*)(0+0)?
-    if (SubExpr->getType()->isArithmeticType())
+    if (SubExpr->getType()->isIntegralType()) {
+      // Check for the special-case of a pointer->int->pointer cast;
+      // this isn't standard, but some code requires it. See
+      // PR2720 for an example.
+      if (const CastExpr* SubCast = dyn_cast<CastExpr>(SubExpr)) {
+        if (SubCast->getSubExpr()->getType()->isPointerType()) {
+          unsigned IntWidth = Context.getIntWidth(SubCast->getType());
+          unsigned PointerWidth = Context.getTypeSize(Context.VoidPtrTy);
+          if (IntWidth >= PointerWidth) {
+            return CheckAddressConstantExpression(SubCast->getSubExpr());
+          }
+        }
+      }
+    }
+    if (SubExpr->getType()->isArithmeticType()) {
       return CheckArithmeticConstantExpression(SubExpr);
+    }
 
     Diag(Init->getExprLoc(),
          diag::err_init_element_not_constant, Init->getSourceRange());

diff --git a/test/Sema/const-ptr-int-ptr-cast.c b/test/Sema/const-ptr-int-ptr-cast.c
new file mode 100644 (file)
index 0000000..6bf44b0
--- /dev/null
+++ b/test/Sema/const-ptr-int-ptr-cast.c
@@ -0,0 +1,3 @@
+// RUN: clang -fsyntax-only -verify %s
+
+char *a = (void*)(unsigned long long)(void*)&a;