[Bug tree-optimization/59124] [4.8/4.9 Regression] Wrong warnings array subscript is above array bounds

[jakub at gcc dot gnu.org]

http://gcc.gnu.org/bugzilla/show_bug.cgi?id=59124

Jakub Jelinek jakub at gcc dot gnu.org changed:

   What|Removed |Added

 CC||jakub at gcc dot gnu.org

--- Comment #3 from Jakub Jelinek jakub at gcc dot gnu.org ---
Both testcases regressed with r192538.

[Bug tree-optimization/59124] [4.8/4.9 Regression] Wrong warnings array subscript is above array bounds

[rguenth at gcc dot gnu.org]

http://gcc.gnu.org/bugzilla/show_bug.cgi?id=59124

Richard Biener rguenth at gcc dot gnu.org changed:

   What|Removed |Added

   Priority|P3  |P2

[Bug tree-optimization/59124] [4.8/4.9 Regression] Wrong warnings array subscript is above array bounds

[rguenth at gcc dot gnu.org]

http://gcc.gnu.org/bugzilla/show_bug.cgi?id=59124

Richard Biener rguenth at gcc dot gnu.org changed:

   What|Removed |Added

 Status|UNCONFIRMED |NEW
   Last reconfirmed||2013-11-14
 CC||hubicka at gcc dot gnu.org
   Target Milestone|--- |4.8.3
Summary|[4.8 Regression] Wrong  |[4.8/4.9 Regression] Wrong
   |warnings array subscript   |warnings array subscript
   |is above array bounds  |is above array bounds
 Ever confirmed|0   |1

--- Comment #1 from Richard Biener rguenth at gcc dot gnu.org ---
Confirmed.  The inner loop is completely peeled but unreachable code remains.

[Bug tree-optimization/59124] [4.8/4.9 Regression] Wrong warnings array subscript is above array bounds

[d.g.gorbachev at gmail dot com]

http://gcc.gnu.org/bugzilla/show_bug.cgi?id=59124

--- Comment #2 from Dmitry Gorbachev d.g.gorbachev at gmail dot com ---
Another testcase:

= 8 =
extern char *bar[17];

int foo(int argc, char **argv)
{
  int i;
  int n = 0;

  for (i = 0; i  argc; i++)
n++;

  for (i = 0; i  argc; i++)
argv[i] = bar[i + n];

  return 0;
}
= 8 =

$ gcc -S -Wall -O3 2.c
2.c: In function 'foo':
2.c:12:18: warning: array subscript is above array bounds [-Warray-bounds]
 argv[i] = bar[i + n];
  ^
2.c:12:18: warning: array subscript is above array bounds [-Warray-bounds]
2.c:12:18: warning: array subscript is above array bounds [-Warray-bounds]
2.c:12:18: warning: array subscript is above array bounds [-Warray-bounds]
2.c:12:18: warning: array subscript is above array bounds [-Warray-bounds]
2.c:12:18: warning: array subscript is above array bounds [-Warray-bounds]
2.c:12:18: warning: array subscript is above array bounds [-Warray-bounds]
2.c:12:18: warning: array subscript is above array bounds [-Warray-bounds]
2.c:12:18: warning: array subscript is above array bounds [-Warray-bounds]