* c-decl.c (grokdeclarator): Save variable array size before

        subtracting 1, rather than after.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@92370 138bc75d-0d04-0410-961f-82ee72b054a4

diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index e72b847..51ad04e 100644 (file)
--- a/gcc/ChangeLog
+++ b/gcc/ChangeLog
@@ -1,3 +1,8 @@
+2004-12-18  Richard Henderson  <rth@redhat.com>
+
+       * c-decl.c (grokdeclarator): Save variable array size before
+       subtracting 1, rather than after.
+
 2004-12-18  Eric Botcazou  <ebotcazou@libertysurf.fr>
 
        PR middle-end/15486

diff --git a/gcc/c-decl.c b/gcc/c-decl.c
index b728a6b..b76e274 100644 (file)
--- a/gcc/c-decl.c
+++ b/gcc/c-decl.c
@@ -4084,6 +4084,12 @@ grokdeclarator (const struct c_declarator *declarator,
                  }
                else
                  {
+                   /* Arrange for the SAVE_EXPR on the inside of the
+                      MINUS_EXPR, which allows the -1 to get folded
+                      with the +1 that happens when building TYPE_SIZE.  */
+                   if (size_varies)
+                     size = variable_size (size);
+
                    /* Compute the maximum valid index, that is, size
                       - 1.  Do the calculation in index_type, so that
                       if it is a variable the computations will be
@@ -4107,8 +4113,6 @@ grokdeclarator (const struct c_declarator *declarator,
                        continue;
                      }
                    
-                   if (size_varies)
-                     itype = variable_size (itype);
                    itype = build_index_type (itype);
                  }
              }