diff options
author | Richard Smith <richard-llvm@metafoo.co.uk> | 2012-01-15 03:25:41 +0000 |
---|---|---|
committer | Richard Smith <richard-llvm@metafoo.co.uk> | 2012-01-15 03:25:41 +0000 |
commit | b19ac0d6ca6c49de2e45c3c987d0894af2f4c54e (patch) | |
tree | 69a99eb6660078ba99410196800a34b9db4d1b03 /clang/lib/AST/ExprConstant.cpp | |
parent | 839192fd29b40fa5307035fa407465f02f3b861c (diff) | |
download | bcm5719-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.cpp | 6 |
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: |