[Bug tree-optimization/55079] [4.8 regression] false positive -Warray-bounds (also seen at -O3 bootstrap)

2012-12-12 Thread schwab at gcc dot gnu.org
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=55079 --- Comment #17 from Andreas Schwab 2012-12-12 09:32:47 UTC --- Author: schwab Date: Wed Dec 12 09:32:40 2012 New Revision: 194437 URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=194437 Log: PR tree-optimization/55079 * gcc.dg/

[Bug tree-optimization/55079] [4.8 regression] false positive -Warray-bounds (also seen at -O3 bootstrap)

2012-12-11 Thread rguenth at gcc dot gnu.org
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=55079 Richard Biener changed: What|Removed |Added Status|ASSIGNED|RESOLVED Resolution|

[Bug tree-optimization/55079] [4.8 regression] false positive -Warray-bounds (also seen at -O3 bootstrap)

2012-12-11 Thread rguenth at gcc dot gnu.org
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=55079 --- Comment #15 from Richard Biener 2012-12-11 10:06:20 UTC --- Author: rguenth Date: Tue Dec 11 10:06:15 2012 New Revision: 194388 URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=194388 Log: 2012-12-11 Richard Biener

[Bug tree-optimization/55079] [4.8 regression] false positive -Warray-bounds (also seen at -O3 bootstrap)

2012-12-10 Thread hubicka at ucw dot cz
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=55079 --- Comment #14 from Jan Hubicka 2012-12-10 16:26:40 UTC --- > > http://gcc.gnu.org/bugzilla/show_bug.cgi?id=55079 > > --- Comment #13 from Richard Biener 2012-12-10 > 14:14:07 UTC --- > (In reply to comment #9) > > This is reduced

[Bug tree-optimization/55079] [4.8 regression] false positive -Warray-bounds (also seen at -O3 bootstrap)

2012-12-10 Thread rguenth at gcc dot gnu.org
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=55079 --- Comment #13 from Richard Biener 2012-12-10 14:14:07 UTC --- (In reply to comment #9) > This is reduced testcase from gcov.c > int a[8]; > int > t (void) > { > int ix = 0; > int k; > int b = 0; > int curr = 0; > for (k = 0; k < 2; k

[Bug tree-optimization/55079] [4.8 regression] false positive -Warray-bounds (also seen at -O3 bootstrap)

2012-12-10 Thread rguenth at gcc dot gnu.org
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=55079 --- Comment #12 from Richard Biener 2012-12-10 13:50:15 UTC --- For the testcase in comment#1 we have Found new range for len_10: [1, 7] Visiting statement: len_17 = MIN_EXPR ; Found new range for len_17: [0, +INF] which shoul

[Bug tree-optimization/55079] [4.8 regression] false positive -Warray-bounds (also seen at -O3 bootstrap)

2012-12-10 Thread rguenth at gcc dot gnu.org
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=55079 Richard Biener changed: What|Removed |Added Status|NEW |ASSIGNED AssignedTo|una

[Bug tree-optimization/55079] [4.8 regression] false positive -Warray-bounds (also seen at -O3 bootstrap)

2012-12-07 Thread rguenth at gcc dot gnu.org
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=55079 Richard Biener changed: What|Removed |Added Priority|P3 |P1 --- Comment #10 from Richar

[Bug tree-optimization/55079] [4.8 regression] false positive -Warray-bounds (also seen at -O3 bootstrap)

2012-11-14 Thread hubicka at gcc dot gnu.org
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=55079 --- Comment #9 from Jan Hubicka 2012-11-15 01:01:30 UTC --- This is reduced testcase from gcov.c int a[8]; int t (void) { int ix = 0; int k; int b = 0; int curr = 0; for (k = 0; k < 2; k++) { b = ix * 32; curr = a[ix++]

[Bug tree-optimization/55079] [4.8 regression] false positive -Warray-bounds (also seen at -O3 bootstrap)

2012-11-14 Thread hubicka at gcc dot gnu.org
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=55079 Jan Hubicka changed: What|Removed |Added Summary|[4.8 regression] false |[4.8 regression] false |

[Bug tree-optimization/55079] [4.8 regression] false positive -Warray-bounds

2012-11-02 Thread hubicka at gcc dot gnu.org
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=55079 --- Comment #7 from Jan Hubicka 2012-11-02 20:51:31 UTC --- Actually not, what happen here is that we unroll the loop 17 times based on the fact that the array access iterates from taillen to tailen+n_iterations and the array size is 17.

[Bug tree-optimization/55079] [4.8 regression] false positive -Warray-bounds

2012-11-02 Thread hubicka at gcc dot gnu.org
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=55079 --- Comment #6 from Jan Hubicka 2012-11-02 18:44:37 UTC --- Hmm, it seems to be due to off-by-one bug in my patch Index: tree-ssa-loop-ivcanon.c === --- tree-ssa-loop-ivcanon

[Bug tree-optimization/55079] [4.8 regression] false positive -Warray-bounds

2012-11-02 Thread hubicka at gcc dot gnu.org
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=55079 --- Comment #5 from Jan Hubicka 2012-11-02 16:46:54 UTC --- The patch cures a lot of false positives seen at -O3 bootstrap. The testcase here is not cured, I am looking into it.

[Bug tree-optimization/55079] [4.8 regression] false positive -Warray-bounds

2012-11-02 Thread hubicka at gcc dot gnu.org
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=55079 --- Comment #4 from Jan Hubicka 2012-11-02 16:35:01 UTC --- Author: hubicka Date: Fri Nov 2 16:34:52 2012 New Revision: 193098 URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=193098 Log: PR middle-end/55079 * tree-ss

[Bug tree-optimization/55079] [4.8 regression] false positive -Warray-bounds

2012-10-30 Thread rguenth at gcc dot gnu.org
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=55079 Richard Biener changed: What|Removed |Added CC||nat...@t-online.de --- Comment

[Bug tree-optimization/55079] [4.8 regression] false positive -Warray-bounds

2012-10-30 Thread rguenth at gcc dot gnu.org
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=55079 --- Comment #2 from Richard Biener 2012-10-30 09:32:45 UTC --- *** Bug 55085 has been marked as a duplicate of this bug. ***