c-typeck.c (set_init_index): If first is equal to last, assume as if it was not a...

	* c-typeck.c (set_init_index): If first is equal to last, assume as
	if it was not a range at all.

	* gcc.dg/gnu99-init-1.c: Add test for [0 ... 0] range.

From-SVN: r39380

diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index cf31ea1523f90415ed70daa947eee2b5e691e380..d82c6c99bcf9e759b00bcb8167a7a2ccd2bac66d 100644 (file)
--- a/gcc/ChangeLog
+++ b/gcc/ChangeLog
@@ -1,3 +1,8 @@
+2001-01-31  Jakub Jelinek  <jakub@redhat.com>
+
+       * c-typeck.c (set_init_index): If first is equal to last, assume as
+       if it was not a range at all.
+
 2001-01-31  Alexandre Oliva  <aoliva@redhat.com>
 
        * config/fp-bit.c: Include tm.h.

diff --git a/gcc/c-typeck.c b/gcc/c-typeck.c
index 3dc52e480315678afbf8c1fdf7f3e7b919465e06..3b8f9b090cf2d4dee53609d1b1cf80110ead0dc6 100644 (file)
--- a/gcc/c-typeck.c
+++ b/gcc/c-typeck.c
@@ -5688,21 +5688,27 @@ set_init_index (first, last)
     {
       constructor_index = convert (bitsizetype, first);
 
-      if (last != 0 && tree_int_cst_lt (last, first))
+      if (last)
        {
-         error_init ("empty index range in initializer");
-         last = 0;
-       }
-      else if (last)
-       {
-         last = convert (bitsizetype, last);
-         if (constructor_max_index != 0
-             && tree_int_cst_lt (constructor_max_index, last))
+         if (tree_int_cst_equal (first, last))
+           last = 0;
+         else if (tree_int_cst_lt (last, first))
            {
-             error_init ("array index range in initializer exceeds array bounds");
+             error_init ("empty index range in initializer");
              last = 0;
            }
+         else
+           {
+             last = convert (bitsizetype, last);
+             if (constructor_max_index != 0
+                 && tree_int_cst_lt (constructor_max_index, last))
+               {
+                 error_init ("array index range in initializer exceeds array bounds");
+                 last = 0;
+               }
+           }
        }
+
       designator_depth++;
       designator_errorneous = 0;
       if (constructor_range_stack || last)

diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog
index 7d20abc5a4e4e7018979c176b7c0f20bfbc450ca..14117aed6f57cc60b4638fda87b0bced4937de11 100644 (file)
--- a/gcc/testsuite/ChangeLog
+++ b/gcc/testsuite/ChangeLog
@@ -1,3 +1,7 @@
+2001-01-31  Jakub Jelinek  <jakub@redhat.com>
+
+       * gcc.dg/gnu99-init-1.c: Add test for [0 ... 0] range.
+
 2001-01-31  Jeffrey Oldham  <oldham@codesourcery.com>
 
        * gcc.dg/c99-float-1.c: Back out "XFAIL FLT_EVAL_METHOD and

diff --git a/gcc/testsuite/gcc.dg/gnu99-init-1.c b/gcc/testsuite/gcc.dg/gnu99-init-1.c
index 9c22c90103b6969545e94ae487d6d72ead9729eb..009c8515f1ea939938664347972d4e1f1afa39e8 100644 (file)
--- a/gcc/testsuite/gcc.dg/gnu99-init-1.c
+++ b/gcc/testsuite/gcc.dg/gnu99-init-1.c
@@ -24,6 +24,7 @@ struct M o[] = { [0 ... 5].O = { [1 ... 2].K[0 ... 1] = 4 },
 struct M p[] = { [0 ... 5].O[1 ... 2].K = { [0 ... 1] = 4 },
                 [5].O[2].K[2] = 5, 6, 7 };
 int q[3][3] = { [0 ... 1] = { [1 ... 2] = 23 }, [1][2] = 24 };
+int r[1] = { [0 ... 1 - 1] = 27 };
 
 int main (void)
 {
@@ -73,5 +74,7 @@ int main (void)
     abort ();
   if (q[2][0] || q[2][1] || q[2][2])
     abort ();
+  if (r[0] != 27)
+    abort ();
   exit (0);
 }