From: Simon Baldwin <simonb@google.com>
Date: Fri, 2 May 2008 20:01:31 +0000 (+0000)
Subject: Rolled back the following changes made in revision 134865:
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=e4d355154880463416ba21be979aa77654d727a0;p=gcc.git

Rolled back the following changes made in revision 134865:

        * c-common.h (warn_array_subscript_range): New function.
        * c-common.c (warn_array_subscript_range): Ditto.
        * tree-vrp.c (check_array_ref): Corrected code to agree with
        comment, ignoring only arrays of size 0 or size 1.
        * c-typeck.c (build_array_ref): Call warn_array_subscript_range.

        * testsuite/gcc.dg/Warray-bounds.c: Updated for frontend warnings,
        additional tests for arrays of size 0 and size 1.
        * testsuite/g++.dg/warn/Warray-bounds.c: Ditto.
        * testsuite/gcc.dg/Warray-bounds-noopt.c: New testcase.
        * testsuite/g++.dg/warn/Warray-bounds-noopt.c: Ditto.

        * typeck.c (build_array_ref): Call warn_array_subscript_range.

From-SVN: r134889
---

diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index 221a8fa87de..f33e88cfdb5 100644
--- a/gcc/ChangeLog
+++ b/gcc/ChangeLog
@@ -1,3 +1,11 @@
+2008-05-02  Simon Baldwin <simonb@google.com>
+
+	PR bootstrap/36108
+	* c-common.h (warn_array_subscript_range): Removed.
+	* c-common.c (warn_array_subscript_range): Ditto.
+	* tree-vrp.c (check_array_ref): Revert to ignoring arrays with size 2.
+	* c-typeck.c (build_array_ref): Remove warn_array_subscript_range.
+
 2008-05-02  H.J. Lu  <hongjiu.lu@intel.com>
 
 	* config/i386/i386.c (ix86_special_builtin_type): New.
diff --git a/gcc/c-common.c b/gcc/c-common.c
index 3fa16492658..58585239680 100644
--- a/gcc/c-common.c
+++ b/gcc/c-common.c
@@ -7452,60 +7452,6 @@ warn_array_subscript_with_type_char (tree index)
     warning (OPT_Wchar_subscripts, "array subscript has type %<char%>");
 }
 
-/* Warn about obvious array bounds errors for fixed size arrays that
-   are indexed by a constant.  This is a subset of similar checks in
-   tree-vrp.c; by doing this here we can get some level of checking
-   from non-optimized, non-vrp compilation.  Returns true if a warning
-   is issued.  */
-
-bool
-warn_array_subscript_range (const_tree array, const_tree index)
-{
-  if (skip_evaluation == 0
-      && TREE_CODE (TREE_TYPE (array)) == ARRAY_TYPE
-      && TYPE_DOMAIN (TREE_TYPE (array)) && TREE_CODE (index) == INTEGER_CST)
-    {
-      const_tree max_index;
-
-      max_index = TYPE_MAX_VALUE (TYPE_DOMAIN (TREE_TYPE (array)));
-      if (max_index && TREE_CODE (max_index) == INTEGER_CST
-          && tree_int_cst_lt (max_index, index)
-          && !tree_int_cst_equal (index, max_index)
-          /* Always allow off-by-one.  */
-          && !tree_int_cst_equal (int_const_binop (PLUS_EXPR,
-                                                   max_index,
-                                                   integer_one_node,
-                                                   0),
-                                  index)
-          /* Accesses after the end of arrays of size 0 (gcc
-             extension) and 1 are likely intentional ("struct
-             hack").  Note that max_index is array dimension - 1.  */
-          && compare_tree_int (max_index, 1) >= 0)
-        {
-          warning (OPT_Warray_bounds,
-                   "array subscript is above array bounds");
-          return true;
-        }
-      else
-        {
-          const_tree min_index;
-
-          min_index = TYPE_MIN_VALUE (TYPE_DOMAIN (TREE_TYPE (array)));
-          if (min_index && TREE_CODE (min_index) == INTEGER_CST
-              && tree_int_cst_lt (index, min_index))
-            {
-              warning (OPT_Warray_bounds,
-                       compare_tree_int (min_index, 0) == 0
-                           ? "array subscript is negative"
-                           : "array subscript is below array bounds");
-              return true;
-            }
-        }
-    }
-
-  return false;
-}
-
 /* Implement -Wparentheses for the unexpected C precedence rules, to
    cover cases like x + y << z which readers are likely to
    misinterpret.  We have seen an expression in which CODE is a binary
diff --git a/gcc/c-common.h b/gcc/c-common.h
index 4f4a414c6d3..c403bee6343 100644
--- a/gcc/c-common.h
+++ b/gcc/c-common.h
@@ -893,7 +893,6 @@ extern int complete_array_type (tree *, tree, bool);
 extern tree builtin_type_for_size (int, bool);
 
 extern void warn_array_subscript_with_type_char (tree);
-extern bool warn_array_subscript_range (const_tree, const_tree);
 extern void warn_about_parentheses (enum tree_code, enum tree_code,
 				    enum tree_code);
 extern void warn_for_unused_label (tree label);
diff --git a/gcc/c-typeck.c b/gcc/c-typeck.c
index dc4cb2b95af..2f8428210d7 100644
--- a/gcc/c-typeck.c
+++ b/gcc/c-typeck.c
@@ -2086,12 +2086,7 @@ build_array_ref (tree array, tree index)
 
   if (TREE_CODE (TREE_TYPE (array)) == ARRAY_TYPE)
     {
-      tree rval, type, ref;
-      bool has_warned_on_bounds_check = false;
-
-      /* Warn about any obvious array bounds errors for fixed size arrays that
-         are indexed by a constant.  */
-      has_warned_on_bounds_check = warn_array_subscript_range (array, index);
+      tree rval, type;
 
       /* An array that is indexed by a non-constant
 	 cannot be stored in a register; we must be able to do
@@ -2144,12 +2139,7 @@ build_array_ref (tree array, tree index)
 	       in an inline function.
 	       Hope it doesn't break something else.  */
 	    | TREE_THIS_VOLATILE (array));
-      ref = require_complete_type (fold (rval));
-
-      /* Suppress bounds warning in tree-vrp.c if already warned here.  */
-      if (has_warned_on_bounds_check)
-        TREE_NO_WARNING (ref) = 1;
-      return ref;
+      return require_complete_type (fold (rval));
     }
   else
     {
diff --git a/gcc/cp/ChangeLog b/gcc/cp/ChangeLog
index 29b70d02ad4..5bbeda665d9 100644
--- a/gcc/cp/ChangeLog
+++ b/gcc/cp/ChangeLog
@@ -1,3 +1,8 @@
+2008-05-02  Simon Baldwin <simonb@google.com>
+
+	PR bootstrap/36108
+	* typeck.c (build_array_ref): Remove warn_array_subscript_range.
+
 2008-05-01  Simon Baldwin <simonb@google.com>
 
 	* typeck.c (build_array_ref): Call warn_array_subscript_range.
diff --git a/gcc/cp/typeck.c b/gcc/cp/typeck.c
index 1447182ed01..bf264ad2cc7 100644
--- a/gcc/cp/typeck.c
+++ b/gcc/cp/typeck.c
@@ -2556,8 +2556,7 @@ build_array_ref (tree array, tree idx)
 
   if (TREE_CODE (TREE_TYPE (array)) == ARRAY_TYPE)
     {
-      bool has_warned_on_bounds_check = false;
-      tree rval, type, ref;
+      tree rval, type;
 
       warn_array_subscript_with_type_char (idx);
 
@@ -2574,10 +2573,6 @@ build_array_ref (tree array, tree idx)
 	 pointer arithmetic.)  */
       idx = perform_integral_promotions (idx);
 
-      /* Warn about any obvious array bounds errors for fixed size arrays that
-         are indexed by a constant.  */
-      has_warned_on_bounds_check = warn_array_subscript_range (array, idx);
-
       /* An array that is indexed by a non-constant
 	 cannot be stored in a register; we must be able to do
 	 address arithmetic on its address.
@@ -2628,12 +2623,7 @@ build_array_ref (tree array, tree idx)
 	|= (CP_TYPE_VOLATILE_P (type) | TREE_SIDE_EFFECTS (array));
       TREE_THIS_VOLATILE (rval)
 	|= (CP_TYPE_VOLATILE_P (type) | TREE_THIS_VOLATILE (array));
-      ref = require_complete_type (fold_if_not_in_template (rval));
-
-      /* Suppress bounds warning in tree-vrp.c if already warned here.  */
-      if (has_warned_on_bounds_check)
-        TREE_NO_WARNING (ref) = 1;
-      return ref;
+      return require_complete_type (fold_if_not_in_template (rval));
     }
 
   {
diff --git a/gcc/doc/invoke.texi b/gcc/doc/invoke.texi
index c147219ad1b..dfd22afab6c 100644
--- a/gcc/doc/invoke.texi
+++ b/gcc/doc/invoke.texi
@@ -2679,7 +2679,7 @@ Options} and @ref{Objective-C and Objective-C++ Dialect Options}.
 @option{-Wall} turns on the following warning flags:
 
 @gccoptlist{-Waddress   @gol
--Warray-bounds @r{(some checks, but more complete with} @option{-O2}@r{)}  @gol
+-Warray-bounds @r{(only with} @option{-O2}@r{)}  @gol
 -Wc++0x-compat  @gol
 -Wchar-subscripts  @gol
 -Wimplicit-int  @gol
@@ -3382,10 +3382,9 @@ false positives.
 @item -Warray-bounds
 @opindex Wno-array-bounds
 @opindex Warray-bounds
-This option detects some cases of out-of-bounds accesses in unoptimized
-compilations.  More cases are detected when @option{-ftree-vrp} is enabled.
-(The @option{-ftree-vrp} option is enabled automatically when compiling with
-@option{-O2} or higher optimization options.)
+This option is only active when @option{-ftree-vrp} is active
+(default for -O2 and above). It warns about subscripts to arrays
+that are always out of bounds. This warning is enabled by @option{-Wall}.
 
 @item -Wno-div-by-zero
 @opindex Wno-div-by-zero
diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog
index 82d3a4da6cc..949a3deff4a 100644
--- a/gcc/testsuite/ChangeLog
+++ b/gcc/testsuite/ChangeLog
@@ -1,3 +1,11 @@
+2008-05-01  Simon Baldwin <simonb@google.com>
+
+	PR bootstrap/36108
+	* testsuite/gcc.dg/Warray-bounds.c: Removed frontend warnings update.
+	* testsuite/g++.dg/warn/Warray-bounds.c: Ditto.
+	* testsuite/gcc.dg/Warray-bounds-noopt.c: Removed testcase.
+	* testsuite/g++.dg/warn/Warray-bounds-noopt.c: Ditto.
+
 2008-05-01  Bud Davis  <bdavis9659@sbcglobal.net>
 
 	PR fortran/PR35940	
diff --git a/gcc/testsuite/g++.dg/warn/Warray-bounds-noopt.C b/gcc/testsuite/g++.dg/warn/Warray-bounds-noopt.C
deleted file mode 100644
index 650f2690e5c..00000000000
--- a/gcc/testsuite/g++.dg/warn/Warray-bounds-noopt.C
+++ /dev/null
@@ -1,123 +0,0 @@
-/* { dg-do compile } */
-/* { dg-options "-O0 -Warray-bounds" } */
-
-int a[10];
-
-static inline int n(void) {
-    __SIZE_TYPE__ strlen(const char *s);
-    return strlen("12345");
-}
-
-void g(int *p);
-void h(int p);
-
-int* f(void) {
-    int b[10];
-    int i;
-    struct {
-       int c[10];
-    } c;
-    int p[0], q[1], r[2], s[3], t[4];
-
-    a[-1] = 0;             /* { dg-warning "array subscript" } */
-    a[ 0] = 0;
-    a[ 1] = 0;
-
-
-    a[ 9] = 0;
-    a[10] = 0;
-    a[11] = 0;             /* { dg-warning "array subscript" } */
-    a[2 * n() - 11] = 0;
-    a[2 * n() - 10] = 0;
-    a[2 * n() -  1] = 0;
-    a[2 * n() -  0] = 0;
-
-    b[-1] = 0;             /* { dg-warning "array subscript" } */
-    b[ 0] = 0;
-    b[ 1] = 0;
-    b[ 9] = 0;
-    b[10] = 0;
-    b[11] = 0;             /* { dg-warning "array subscript" } */
-    b[2 * n() - 11] = 0;
-    b[2 * n() - 10] = 0;
-    b[2 * n() -  1] = 0;
-    b[2 * n() -  0] = 0;
-
-    c.c[-1] = 0;           /* { dg-warning "array subscript" } */
-    c.c[ 0] = 0;
-    c.c[ 1] = 0;
-    c.c[ 9] = 0;
-    c.c[10] = 0;
-    c.c[11] = 0;           /* { dg-warning "array subscript" } */
-    c.c[2 * n() - 11] = 0;
-    c.c[2 * n() - 10] = 0;
-    c.c[2 * n() -  1] = 0;
-    c.c[2 * n() -  0] = 0;
-
-    g(&a[8]);
-    g(&a[9]);
-    g(&a[10]);
-    g(&a[11]);             /* { dg-warning "array subscript" } */
-    g(&a[-30]+10);         /* { dg-warning "array subscript" } */
-    g(&a[-30]+30);         /* { dg-warning "array subscript" } */
-
-    g(&b[10]);
-    g(&c.c[10]);
-    g(&b[11]);             /* { dg-warning "array subscript" } */
-    g(&c.c[11]);           /* { dg-warning "array subscript" } */
-
-    g(&a[0]);
-    g(&b[0]);
-    g(&c.c[0]);
-
-    g(&a[-1]);             /* { dg-warning "array subscript" } */
-    g(&b[-1]);             /* { dg-warning "array subscript" } */ 
-    h(sizeof a[-1]);
-    h(sizeof a[10]);
-    h(sizeof b[-1]);
-    h(sizeof b[10]);
-    h(sizeof c.c[-1]);
-    h(sizeof c.c[10]);
-
-    p[-1] = 0;             /* { dg-warning "array subscript" } */
-    p[0] = 0;
-    p[1] = 0;
-
-    q[-1] = 0;             /* { dg-warning "array subscript" } */
-    q[0] = 0;
-    q[1] = 0;
-    q[2] = 0;
-
-    r[-1] = 0;             /* { dg-warning "array subscript" } */
-    r[0] = 0;
-    r[1] = 0;
-    r[2] = 0;
-    r[3] = 0;              /* { dg-warning "array subscript" } */
-
-    s[-1] = 0;             /* { dg-warning "array subscript" } */
-    s[0] = 0;
-    s[1] = 0;
-    s[2] = 0;
-    s[3] = 0;
-    s[4] = 0;              /* { dg-warning "array subscript" } */
-
-    t[-1] = 0;             /* { dg-warning "array subscript" } */
-    t[0] = 0;
-    t[1] = 0;
-    t[2] = 0;
-    t[3] = 0;
-    t[4] = 0;
-    t[5] = 0;              /* { dg-warning "array subscript" } */
-
-    if (10 < 10)
-       a[10] = 0;
-    if (10 < 10)
-       b[10] = 0;
-    if (-1 >= 0)
-       c.c[-1] = 0;        /* { dg-warning "array subscript" } */
-
-    for (i = 20; i < 30; ++i)
-             a[i] = 1;
-
-    return a;
-}
diff --git a/gcc/testsuite/g++.dg/warn/Warray-bounds.C b/gcc/testsuite/g++.dg/warn/Warray-bounds.C
index 02fd8171869..0385516abd4 100644
--- a/gcc/testsuite/g++.dg/warn/Warray-bounds.C
+++ b/gcc/testsuite/g++.dg/warn/Warray-bounds.C
@@ -17,7 +17,6 @@ int* f(void) {
     struct {
        int c[10];
     } c;
-    int p[0], q[1], r[2], s[3], t[4];
 
     a[-1] = 0;             /* { dg-warning "array subscript" } */
     a[ 0] = 0;
@@ -58,11 +57,12 @@ int* f(void) {
     g(&a[9]);
     g(&a[10]);
     g(&a[11]);             /* { dg-warning "array subscript" } */
-    g(&a[-30]+10);         /* { dg-warning "array subscript" } */
-    g(&a[-30]+30);         /* { dg-warning "array subscript" } */
+    g(&a[-30]+10);             /* { dg-warning "array subscript" } */
+    g(&a[-30]+30);
 
     g(&b[10]);
     g(&c.c[10]);
+    g(&a[11]);             /* { dg-warning "array subscript" } */
     g(&b[11]);             /* { dg-warning "array subscript" } */
     g(&c.c[11]);           /* { dg-warning "array subscript" } */
 
@@ -79,45 +79,13 @@ int* f(void) {
     h(sizeof c.c[-1]);
     h(sizeof c.c[10]);
 
-    p[-1] = 0;             /* { dg-warning "array subscript" } */
-    p[0] = 0;
-    p[1] = 0;
-
-    q[-1] = 0;             /* { dg-warning "array subscript" } */
-    q[0] = 0;
-    q[1] = 0;
-    q[2] = 0;
-
-    r[-1] = 0;             /* { dg-warning "array subscript" } */
-    r[0] = 0;
-    r[1] = 0;
-    r[2] = 0;
-    r[3] = 0;              /* { dg-warning "array subscript" } */
-
-    s[-1] = 0;             /* { dg-warning "array subscript" } */
-    s[0] = 0;
-    s[1] = 0;
-    s[2] = 0;
-    s[3] = 0;
-    s[4] = 0;              /* { dg-warning "array subscript" } */
-
-    t[-1] = 0;             /* { dg-warning "array subscript" } */
-    t[0] = 0;
-    t[1] = 0;
-    t[2] = 0;
-    t[3] = 0;
-    t[4] = 0;
-    t[5] = 0;              /* { dg-warning "array subscript" } */
-
     if (10 < 10)
        a[10] = 0;
     if (10 < 10)
        b[10] = 0;
     if (-1 >= 0)
-       c.c[-1] = 0;        /* { dg-warning "array subscript" } */
-
-    for (i = 20; i < 30; ++i)
-             a[i] = 1;       /* { dg-warning "array subscript" } */
+       c.c[-1] = 0;
 
     return a;
 }
+
diff --git a/gcc/testsuite/gcc.dg/Warray-bounds-noopt.c b/gcc/testsuite/gcc.dg/Warray-bounds-noopt.c
deleted file mode 100644
index 650f2690e5c..00000000000
--- a/gcc/testsuite/gcc.dg/Warray-bounds-noopt.c
+++ /dev/null
@@ -1,123 +0,0 @@
-/* { dg-do compile } */
-/* { dg-options "-O0 -Warray-bounds" } */
-
-int a[10];
-
-static inline int n(void) {
-    __SIZE_TYPE__ strlen(const char *s);
-    return strlen("12345");
-}
-
-void g(int *p);
-void h(int p);
-
-int* f(void) {
-    int b[10];
-    int i;
-    struct {
-       int c[10];
-    } c;
-    int p[0], q[1], r[2], s[3], t[4];
-
-    a[-1] = 0;             /* { dg-warning "array subscript" } */
-    a[ 0] = 0;
-    a[ 1] = 0;
-
-
-    a[ 9] = 0;
-    a[10] = 0;
-    a[11] = 0;             /* { dg-warning "array subscript" } */
-    a[2 * n() - 11] = 0;
-    a[2 * n() - 10] = 0;
-    a[2 * n() -  1] = 0;
-    a[2 * n() -  0] = 0;
-
-    b[-1] = 0;             /* { dg-warning "array subscript" } */
-    b[ 0] = 0;
-    b[ 1] = 0;
-    b[ 9] = 0;
-    b[10] = 0;
-    b[11] = 0;             /* { dg-warning "array subscript" } */
-    b[2 * n() - 11] = 0;
-    b[2 * n() - 10] = 0;
-    b[2 * n() -  1] = 0;
-    b[2 * n() -  0] = 0;
-
-    c.c[-1] = 0;           /* { dg-warning "array subscript" } */
-    c.c[ 0] = 0;
-    c.c[ 1] = 0;
-    c.c[ 9] = 0;
-    c.c[10] = 0;
-    c.c[11] = 0;           /* { dg-warning "array subscript" } */
-    c.c[2 * n() - 11] = 0;
-    c.c[2 * n() - 10] = 0;
-    c.c[2 * n() -  1] = 0;
-    c.c[2 * n() -  0] = 0;
-
-    g(&a[8]);
-    g(&a[9]);
-    g(&a[10]);
-    g(&a[11]);             /* { dg-warning "array subscript" } */
-    g(&a[-30]+10);         /* { dg-warning "array subscript" } */
-    g(&a[-30]+30);         /* { dg-warning "array subscript" } */
-
-    g(&b[10]);
-    g(&c.c[10]);
-    g(&b[11]);             /* { dg-warning "array subscript" } */
-    g(&c.c[11]);           /* { dg-warning "array subscript" } */
-
-    g(&a[0]);
-    g(&b[0]);
-    g(&c.c[0]);
-
-    g(&a[-1]);             /* { dg-warning "array subscript" } */
-    g(&b[-1]);             /* { dg-warning "array subscript" } */ 
-    h(sizeof a[-1]);
-    h(sizeof a[10]);
-    h(sizeof b[-1]);
-    h(sizeof b[10]);
-    h(sizeof c.c[-1]);
-    h(sizeof c.c[10]);
-
-    p[-1] = 0;             /* { dg-warning "array subscript" } */
-    p[0] = 0;
-    p[1] = 0;
-
-    q[-1] = 0;             /* { dg-warning "array subscript" } */
-    q[0] = 0;
-    q[1] = 0;
-    q[2] = 0;
-
-    r[-1] = 0;             /* { dg-warning "array subscript" } */
-    r[0] = 0;
-    r[1] = 0;
-    r[2] = 0;
-    r[3] = 0;              /* { dg-warning "array subscript" } */
-
-    s[-1] = 0;             /* { dg-warning "array subscript" } */
-    s[0] = 0;
-    s[1] = 0;
-    s[2] = 0;
-    s[3] = 0;
-    s[4] = 0;              /* { dg-warning "array subscript" } */
-
-    t[-1] = 0;             /* { dg-warning "array subscript" } */
-    t[0] = 0;
-    t[1] = 0;
-    t[2] = 0;
-    t[3] = 0;
-    t[4] = 0;
-    t[5] = 0;              /* { dg-warning "array subscript" } */
-
-    if (10 < 10)
-       a[10] = 0;
-    if (10 < 10)
-       b[10] = 0;
-    if (-1 >= 0)
-       c.c[-1] = 0;        /* { dg-warning "array subscript" } */
-
-    for (i = 20; i < 30; ++i)
-             a[i] = 1;
-
-    return a;
-}
diff --git a/gcc/testsuite/gcc.dg/Warray-bounds.c b/gcc/testsuite/gcc.dg/Warray-bounds.c
index 02fd8171869..bbb5bea65e1 100644
--- a/gcc/testsuite/gcc.dg/Warray-bounds.c
+++ b/gcc/testsuite/gcc.dg/Warray-bounds.c
@@ -17,7 +17,6 @@ int* f(void) {
     struct {
        int c[10];
     } c;
-    int p[0], q[1], r[2], s[3], t[4];
 
     a[-1] = 0;             /* { dg-warning "array subscript" } */
     a[ 0] = 0;
@@ -57,13 +56,13 @@ int* f(void) {
     g(&a[8]);
     g(&a[9]);
     g(&a[10]);
-    g(&a[11]);             /* { dg-warning "array subscript" } */
-    g(&a[-30]+10);         /* { dg-warning "array subscript" } */
-    g(&a[-30]+30);         /* { dg-warning "array subscript" } */
+    g(&a[11]);             /* { dg-warning "array subscript" "" { xfail *-*-* } } */
+    g(&a[-30]+10);             /* { dg-warning "array subscript" } */
+    g(&a[-30]+30);
 
     g(&b[10]);
     g(&c.c[10]);
-    g(&b[11]);             /* { dg-warning "array subscript" } */
+    g(&b[11]);             /* { dg-warning "array subscript" "" { xfail *-*-* } } */
     g(&c.c[11]);           /* { dg-warning "array subscript" } */
 
     g(&a[0]);
@@ -79,45 +78,16 @@ int* f(void) {
     h(sizeof c.c[-1]);
     h(sizeof c.c[10]);
 
-    p[-1] = 0;             /* { dg-warning "array subscript" } */
-    p[0] = 0;
-    p[1] = 0;
-
-    q[-1] = 0;             /* { dg-warning "array subscript" } */
-    q[0] = 0;
-    q[1] = 0;
-    q[2] = 0;
-
-    r[-1] = 0;             /* { dg-warning "array subscript" } */
-    r[0] = 0;
-    r[1] = 0;
-    r[2] = 0;
-    r[3] = 0;              /* { dg-warning "array subscript" } */
-
-    s[-1] = 0;             /* { dg-warning "array subscript" } */
-    s[0] = 0;
-    s[1] = 0;
-    s[2] = 0;
-    s[3] = 0;
-    s[4] = 0;              /* { dg-warning "array subscript" } */
-
-    t[-1] = 0;             /* { dg-warning "array subscript" } */
-    t[0] = 0;
-    t[1] = 0;
-    t[2] = 0;
-    t[3] = 0;
-    t[4] = 0;
-    t[5] = 0;              /* { dg-warning "array subscript" } */
-
     if (10 < 10)
        a[10] = 0;
     if (10 < 10)
        b[10] = 0;
     if (-1 >= 0)
-       c.c[-1] = 0;        /* { dg-warning "array subscript" } */
+       c.c[-1] = 0;
 
     for (i = 20; i < 30; ++i)
              a[i] = 1;       /* { dg-warning "array subscript" } */
 
     return a;
 }
+
diff --git a/gcc/tree-vrp.c b/gcc/tree-vrp.c
index 61031996185..4b409e46aaf 100644
--- a/gcc/tree-vrp.c
+++ b/gcc/tree-vrp.c
@@ -4645,8 +4645,8 @@ check_array_ref (tree ref, location_t* locus, bool ignore_off_by_one)
           && TYPE_MAX_VALUE (TYPE_DOMAIN (TREE_TYPE (ref))) == NULL_TREE)
       /* Accesses after the end of arrays of size 0 (gcc
          extension) and 1 are likely intentional ("struct
-         hack").  Note that up_bound is array dimension - 1.  */
-      || compare_tree_int (up_bound, 1) < 0)
+         hack").  */
+      || compare_tree_int (up_bound, 1) <= 0)
     return;
 
   low_bound = array_ref_low_bound (ref);