[Bug middle-end/39757] inconsistency in array bounds checking with -O3

[pinskia at gcc dot gnu.org]

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

--- Comment #5 from Andrew Pinski pinskia at gcc dot gnu.org 2012-02-02 
20:41:15 UTC ---
We have:
  short last[3] = { 16,16,16 }, mul[3], buf[3][3][386];
  for (i=0; i  sizeof(buf)/sizeof(short); i++)
buf[0][0][i] = 2048;

Obviously this where one of the warning happens.

Likewise for:
  float cfilt=0, ddft[3][3][2], ppm[3][3][3];


For one, the compiler considers it an issues that array cam_xyz[4][3] is
accessed as cam_xyz[0][j], 0 = j  12. This issue is found with -O3 but not
with -O2.

That warning is correct.  Now for the other part, this warning really depends
on optimization and is not always 100% of producing all the warnings it could.

[Bug middle-end/39757] inconsistency in array bounds checking with -O3

[petteri dot kettunen at nokia dot com]

--- Comment #4 from petteri dot kettunen at nokia dot com  2009-08-13 01:15 
---
This is a bit odd but the bug was not reproducible when I tried to compile a
minimal example in a file containing that function only. I shall investigate a
bit more.


-- 


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

[Bug middle-end/39757] inconsistency in array bounds checking with -O3

[manu at gcc dot gnu dot org]

--- Comment #3 from manu at gcc dot gnu dot org  2009-08-05 10:01 ---
By the way, we would prefer a preprocessed testcase, as minimal as possible. 
See http://gcc.gnu.org/bugs.html#report

Thanks.


-- 


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

[Bug middle-end/39757] inconsistency in array bounds checking with -O3

[manu at gcc dot gnu dot org]

--- Comment #2 from manu at gcc dot gnu dot org  2009-04-20 22:56 ---
(In reply to comment #1)
 -O3 has extra inlining.
 

 ~/trunk/146344/build/gcc/cc1 -DNO_LCMS -Wall -Werror -O3 dcraw.i
-fno-inline-functions -fno-inline

Still the same warnings. So, it seems to be some other reason.


-- 

manu at gcc dot gnu dot org changed:

   What|Removed |Added

 CC||manu at gcc dot gnu dot org


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

[Bug middle-end/39757] inconsistency in array bounds checking with -O3

[pinskia at gcc dot gnu dot org]

--- Comment #1 from pinskia at gcc dot gnu dot org  2009-04-14 03:00 ---
-O3 has extra inlining.


-- 

pinskia at gcc dot gnu dot org changed:

   What|Removed |Added

  Component|c   |middle-end


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