re PR c++/48911 ([C++0x] Error for valid array subscript)

	PR c++/48911
	* semantics.c (cxx_eval_array_reference): Handle implicit
	initializers.

From-SVN: r173510

diff --git a/gcc/cp/ChangeLog b/gcc/cp/ChangeLog
index f19c0c1d1c796dc2bae13840401584c13b49ec6d..3bc6a14680ff000bbfac2ebfcfe44557c4f5f6c8 100644 (file)
--- a/gcc/cp/ChangeLog
+++ b/gcc/cp/ChangeLog
@@ -1,3 +1,9 @@
+2011-05-06  Jason Merrill  <jason@redhat.com>
+
+       PR c++/48911
+       * semantics.c (cxx_eval_array_reference): Handle implicit
+       initializers.
+
 2011-05-06  Nathan Froyd  <froydnj@codesourcery.com>
 
        * cp-tree.h (type_of_this_parm, class_of_this_parm): New functions.

diff --git a/gcc/cp/semantics.c b/gcc/cp/semantics.c
index a2b24d3e31d751d8b04477a4ae326f31e53353d5..ca069f577000e1d76643c191d5ad422bcb43061e 100644 (file)
--- a/gcc/cp/semantics.c
+++ b/gcc/cp/semantics.c
@@ -6323,6 +6323,7 @@ cxx_eval_array_reference (const constexpr_call *call, tree t,
                                           non_constant_p);
   tree index, oldidx;
   HOST_WIDE_INT i;
+  tree elem_type;
   unsigned len, elem_nchars = 1;
   if (*non_constant_p)
     return t;
@@ -6335,16 +6336,27 @@ cxx_eval_array_reference (const constexpr_call *call, tree t,
     return t;
   else if (addr)
     return build4 (ARRAY_REF, TREE_TYPE (t), ary, index, NULL, NULL);
+  elem_type = TREE_TYPE (TREE_TYPE (ary));
   if (TREE_CODE (ary) == CONSTRUCTOR)
     len = CONSTRUCTOR_NELTS (ary);
   else
     {
-      elem_nchars = (TYPE_PRECISION (TREE_TYPE (TREE_TYPE (ary)))
+      elem_nchars = (TYPE_PRECISION (elem_type)
                     / TYPE_PRECISION (char_type_node));
       len = (unsigned) TREE_STRING_LENGTH (ary) / elem_nchars;
     }
   if (compare_tree_int (index, len) >= 0)
     {
+      if (tree_int_cst_lt (index, array_type_nelts_top (TREE_TYPE (ary))))
+       {
+         /* If it's within the array bounds but doesn't have an explicit
+            initializer, it's value-initialized.  */
+         tree val = build_value_init (elem_type, tf_warning_or_error);
+         return cxx_eval_constant_expression (call, val,
+                                              allow_non_constant, addr,
+                                              non_constant_p);
+       }
+
       if (!allow_non_constant)
        error ("array subscript out of bound");
       *non_constant_p = true;

diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog
index fc2d5b106f7845fa98ffcbd409938023ed43a157..a59b4722b201274dc5a52f230810f0ba0cf2cde8 100644 (file)
--- a/gcc/testsuite/ChangeLog
+++ b/gcc/testsuite/ChangeLog
@@ -1,3 +1,7 @@
+2011-05-06  Jason Merrill  <jason@redhat.com>
+
+       * g++.dg/cpp0x/constexpr-missing.C: New.
+
 2011-05-06  Tobias Burnus  <burnus@net-b.de>
 
        PR fortran/18918

diff --git a/gcc/testsuite/g++.dg/cpp0x/constexpr-missing.C b/gcc/testsuite/g++.dg/cpp0x/constexpr-missing.C
new file mode 100644 (file)
index 0000000..547f552
--- /dev/null
+++ b/gcc/testsuite/g++.dg/cpp0x/constexpr-missing.C
@@ -0,0 +1,39 @@
+// PR c++/48911
+// { dg-do compile }
+// { dg-options "-std=c++0x" }
+
+#define SA(X) static_assert((X),#X)
+
+struct A
+{
+  constexpr A () : a (6) {}
+  int a;
+};
+
+int
+main ()
+{
+  constexpr int a[2] = { 42 };
+  constexpr int i = a[1];
+  SA(i==0);
+  constexpr int b[1] = { };
+  constexpr int j = b[0];
+  SA(j==0);
+  constexpr char c[2] = "a";
+  constexpr char k = c[1];
+  SA(k==0);
+  constexpr char d[2] = "";
+  constexpr char l = d[1];
+  SA(l==0);
+  constexpr wchar_t e[2] = L"a";
+  constexpr wchar_t m = e[1];
+  SA(m==0);
+  constexpr wchar_t f[2] = L"";
+  constexpr wchar_t n = f[1];
+  SA(n==0);
+  constexpr A g[2] = { A () };
+  constexpr A o = g[0];
+  SA(o.a == 6);
+  constexpr A p = g[1];
+  SA(p.a == 6);
+}