summaryrefslogtreecommitdiffstats
path: root/clang/lib/AST/ExprConstant.cpp
diff options
context:
space:
mode:
authorRichard Smith <richard-llvm@metafoo.co.uk>2012-01-15 03:25:41 +0000
committerRichard Smith <richard-llvm@metafoo.co.uk>2012-01-15 03:25:41 +0000
commitb19ac0d6ca6c49de2e45c3c987d0894af2f4c54e (patch)
tree69a99eb6660078ba99410196800a34b9db4d1b03 /clang/lib/AST/ExprConstant.cpp
parent839192fd29b40fa5307035fa407465f02f3b861c (diff)
downloadbcm5719-llvm-b19ac0d6ca6c49de2e45c3c987d0894af2f4c54e.tar.gz
bcm5719-llvm-b19ac0d6ca6c49de2e45c3c987d0894af2f4c54e.zip
constexpr: casts to void* are allowed in constant expressions, don't set the
designator invalid. (Since we can't read the value of such a pointer, this only affects the quality of diagnostics.) llvm-svn: 148208
Diffstat (limited to 'clang/lib/AST/ExprConstant.cpp')
-rw-r--r--clang/lib/AST/ExprConstant.cpp6
1 files changed, 3 insertions, 3 deletions
diff --git a/clang/lib/AST/ExprConstant.cpp b/clang/lib/AST/ExprConstant.cpp
index ec5111579a2..ae68e19d89e 100644
--- a/clang/lib/AST/ExprConstant.cpp
+++ b/clang/lib/AST/ExprConstant.cpp
@@ -2695,19 +2695,19 @@ bool PointerExprEvaluator::VisitCastExpr(const CastExpr* E) {
case CK_CPointerToObjCPointerCast:
case CK_BlockPointerToObjCPointerCast:
case CK_AnyPointerToBlockPointerCast:
+ if (!Visit(SubExpr))
+ return false;
// Bitcasts to cv void* are static_casts, not reinterpret_casts, so are
// permitted in constant expressions in C++11. Bitcasts from cv void* are
// also static_casts, but we disallow them as a resolution to DR1312.
if (!E->getType()->isVoidPointerType()) {
+ Result.Designator.setInvalid();
if (SubExpr->getType()->isVoidPointerType())
CCEDiag(E, diag::note_constexpr_invalid_cast)
<< 3 << SubExpr->getType();
else
CCEDiag(E, diag::note_constexpr_invalid_cast) << 2;
}
- if (!Visit(SubExpr))
- return false;
- Result.Designator.setInvalid();
return true;
case CK_DerivedToBase:
OpenPOWER on IntegriCloud