[cfe-commits] r150234 - in /cfe/trunk: include/clang/Basic/DiagnosticASTKinds.td lib/AST/ExprConstant.cpp test/CXX/expr/expr.const/p2-0x.cpp

[Richard Smith]

Author: rsmith
Date: Fri Feb 10 01:41:06 2012
New Revision: 150234

URL: http://llvm.org/viewvc/llvm-project?rev=150234&view=rev
Log:
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.

Modified:
    cfe/trunk/include/clang/Basic/DiagnosticASTKinds.td
    cfe/trunk/lib/AST/ExprConstant.cpp
    cfe/trunk/test/CXX/expr/expr.const/p2-0x.cpp

Modified: cfe/trunk/include/clang/Basic/DiagnosticASTKinds.td
URL: http://llvm.org/viewvc/llvm-project/cfe/trunk/include/clang/Basic/DiagnosticASTKinds.td?rev=150234&r1=150233&r2=150234&view=diff
==============================================================================
--- cfe/trunk/include/clang/Basic/DiagnosticASTKinds.td (original)
+++ cfe/trunk/include/clang/Basic/DiagnosticASTKinds.td Fri Feb 10 01:41:06 2012
@@ -55,9 +55,6 @@
   "specifiers (%1 vs %3) has unspecified value">;
 def note_constexpr_compare_virtual_mem_ptr : Note<
   "comparison of pointer to virtual member function %0 has unspecified value">;
-def note_constexpr_addr_of_incomplete : Note<
-  "cannot take address of object of incomplete class type %0 "
-  "in a constant expression">;
 def note_constexpr_past_end : Note<
   "dereferenced pointer past the end of %select{|subobject of }0"
   "%select{temporary|%2}1 is not a constant expression">;

Modified: cfe/trunk/lib/AST/ExprConstant.cpp
URL: http://llvm.org/viewvc/llvm-project/cfe/trunk/lib/AST/ExprConstant.cpp?rev=150234&r1=150233&r2=150234&view=diff
==============================================================================
--- cfe/trunk/lib/AST/ExprConstant.cpp (original)
+++ cfe/trunk/lib/AST/ExprConstant.cpp Fri Feb 10 01:41:06 2012
@@ -2944,18 +2944,6 @@
 }
 
 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);
 }
 

Modified: cfe/trunk/test/CXX/expr/expr.const/p2-0x.cpp
URL: http://llvm.org/viewvc/llvm-project/cfe/trunk/test/CXX/expr/expr.const/p2-0x.cpp?rev=150234&r1=150233&r2=150234&view=diff
==============================================================================
--- cfe/trunk/test/CXX/expr/expr.const/p2-0x.cpp (original)
+++ cfe/trunk/test/CXX/expr/expr.const/p2-0x.cpp Fri Feb 10 01:41:06 2012
@@ -111,9 +111,10 @@
 
 // DR1458: taking the address of an object of incomplete class type
 namespace IncompleteClassTypeAddr {
-  struct S; // expected-note {{forward}}
+  struct S;
   extern S s;
-  constexpr S *p = &s; // expected-error {{constant expression}} expected-note {{cannot take address of object of incomplete class type 'IncompleteClassTypeAddr::S' in a constant expression}}
+  constexpr S *p = &s; // ok
+  static_assert(p, "");
 
   extern S sArr[];
   constexpr S (*p2)[] = &sArr; // ok
@@ -121,7 +122,7 @@
   struct S {
     constexpr S *operator&() { return nullptr; }
   };
-  constexpr S *q = &s;
+  constexpr S *q = &s; // ok
   static_assert(!q, "");
 }