Revert "c++: *this folding in constexpr call"

The earlier commit wasn't fixing a known bug, so let's revert it on the
branch.

	PR c++/109678

This reverts commit 1189c03859cefef4fc4fd44d57eb3d4d3348b562.

diff --git a/gcc/cp/constexpr.cc b/gcc/cp/constexpr.cc
index d1097764b109f38f3d27906b8c987397bddfd7a1..56329dcc9e0fc2e88d523df3b4315989bb2086bd 100644 (file)
--- a/gcc/cp/constexpr.cc
+++ b/gcc/cp/constexpr.cc
@@ -1440,8 +1440,6 @@ enum value_cat {
 
 static tree cxx_eval_constant_expression (const constexpr_ctx *, tree,
                                          value_cat, bool *, bool *, tree * = NULL);
-static tree cxx_fold_indirect_ref (const constexpr_ctx *, location_t, tree, tree,
-                                  bool * = NULL);
 static tree find_heap_var_refs (tree *, int *, void *);
 
 /* Attempt to evaluate T which represents a call to a builtin function.
@@ -2956,7 +2954,9 @@ cxx_eval_call_expression (const constexpr_ctx *ctx, tree t,
         At this point it has already been evaluated in the call
         to cxx_bind_parameters_in_call.  */
       new_obj = TREE_VEC_ELT (new_call.bindings, 0);
-      new_obj = cxx_fold_indirect_ref (ctx, loc, DECL_CONTEXT (fun), new_obj);
+      STRIP_NOPS (new_obj);
+      if (TREE_CODE (new_obj) == ADDR_EXPR)
+       new_obj = TREE_OPERAND (new_obj, 0);
 
       if (ctx->call && ctx->call->fundef
          && DECL_CONSTRUCTOR_P (ctx->call->fundef->decl))
@@ -5474,8 +5474,7 @@ cxx_fold_indirect_ref_1 (const constexpr_ctx *ctx, location_t loc, tree type,
          && CLASS_TYPE_P (optype)
          && DERIVED_FROM_P (type, optype))
        {
-         if (empty_base)
-           *empty_base = true;
+         *empty_base = true;
          return op;
        }
     }
@@ -5494,7 +5493,7 @@ cxx_fold_indirect_ref_1 (const constexpr_ctx *ctx, location_t loc, tree type,
 
 static tree
 cxx_fold_indirect_ref (const constexpr_ctx *ctx, location_t loc, tree type,
-                      tree op0, bool *empty_base /* = NULL*/)
+                      tree op0, bool *empty_base)
 {
   tree sub = op0;
   tree subtype;