diff options
author | Richard Smith <richard-llvm@metafoo.co.uk> | 2012-02-10 07:41:06 +0000 |
---|---|---|
committer | Richard Smith <richard-llvm@metafoo.co.uk> | 2012-02-10 07:41:06 +0000 |
commit | 0cd4ab194bed0038463e39cb15a9e5c80f8a7e8f (patch) | |
tree | 37e5e78edd2d6d6b91d0f35dc33a8f2066aefde4 /clang/lib/AST/ExprConstant.cpp | |
parent | 09fc1bb605794d0615e90b07b142fabd576eb3fc (diff) | |
download | bcm5719-llvm-0cd4ab194bed0038463e39cb15a9e5c80f8a7e8f.tar.gz bcm5719-llvm-0cd4ab194bed0038463e39cb15a9e5c80f8a7e8f.zip |
Update to new resolution for DR1458. When taking the address of an object of
incomplete class type which has an overloaded operator&, it's now just
unspecified whether the overloaded operator or the builtin is used.
llvm-svn: 150234
Diffstat (limited to 'clang/lib/AST/ExprConstant.cpp')
-rw-r--r-- | clang/lib/AST/ExprConstant.cpp | 12 |
1 files changed, 0 insertions, 12 deletions
diff --git a/clang/lib/AST/ExprConstant.cpp b/clang/lib/AST/ExprConstant.cpp index e43884e3766..998bb705f9d 100644 --- a/clang/lib/AST/ExprConstant.cpp +++ b/clang/lib/AST/ExprConstant.cpp @@ -2944,18 +2944,6 @@ bool PointerExprEvaluator::VisitBinaryOperator(const BinaryOperator *E) { } bool PointerExprEvaluator::VisitUnaryAddrOf(const UnaryOperator *E) { - QualType SrcTy = E->getSubExpr()->getType(); - // In C++, taking the address of an object of incomplete class type has - // undefined behavior if the complete class type has an overloaded operator&. - // DR1458 makes such expressions non-constant. - if (Info.getLangOpts().CPlusPlus && - SrcTy->isRecordType() && SrcTy->isIncompleteType()) { - const RecordType *RT = SrcTy->getAs<RecordType>(); - Info.CCEDiag(E->getExprLoc(), diag::note_constexpr_addr_of_incomplete, 1) - << SrcTy; - Info.Note(RT->getDecl()->getLocation(), diag::note_forward_declaration) - << RT->getDecl(); - } return EvaluateLValue(E->getSubExpr(), Result, Info); } |