constexpr.c (cxx_eval_store_expression): Formatting fix.

	* constexpr.c (cxx_eval_store_expression): Formatting fix.  Handle
	const_object_being_modified with array type.

From-SVN: r276493

diff --git a/gcc/cp/ChangeLog b/gcc/cp/ChangeLog
index 275fc9fa0f379e41b9aeed572e2d785c48276851..f2c1aa2363da3988900e2b25fd0d8a85e05631e6 100644 (file)
--- a/gcc/cp/ChangeLog
+++ b/gcc/cp/ChangeLog
@@ -1,3 +1,8 @@
+2019-10-03  Jakub Jelinek  <jakub@redhat.com>
+
+       * constexpr.c (cxx_eval_store_expression): Formatting fix.  Handle
+       const_object_being_modified with array type.
+
 2019-10-02  Jason Merrill  <jason@redhat.com>
 
        * typeck2.c (store_init_value): Only clear_cv_and_fold_caches if the

diff --git a/gcc/cp/constexpr.c b/gcc/cp/constexpr.c
index 06672a2c3b2f51e3c4227a03b1815874610841e1..a6a55b940dd691a18ba10ce61d152a414249557c 100644 (file)
--- a/gcc/cp/constexpr.c
+++ b/gcc/cp/constexpr.c
@@ -3895,7 +3895,7 @@ cxx_eval_store_expression (const constexpr_ctx *ctx, tree t,
   bool no_zero_init = true;
 
   releasing_vec ctors;
-  while (!refs->is_empty())
+  while (!refs->is_empty ())
     {
       if (*valp == NULL_TREE)
        {
@@ -4036,7 +4036,9 @@ cxx_eval_store_expression (const constexpr_ctx *ctx, tree t,
   if (const_object_being_modified)
     {
       bool fail = false;
-      if (!CLASS_TYPE_P (TREE_TYPE (const_object_being_modified)))
+      tree const_objtype
+       = strip_array_types (TREE_TYPE (const_object_being_modified));
+      if (!CLASS_TYPE_P (const_objtype))
        fail = true;
       else
        {