[Bug middle-end/30636] [4.3 Regression] incorrect array bounds warning on multi-dimensional arrays

[rguenth at gcc dot gnu dot org]

------- Comment #6 from rguenth at gcc dot gnu dot org  2007-01-31 13:44 -------
Note that replacing

  D.2440_4 = base_1 + 2048B;

with

  D.2440_4 = &emergency_buffer[0][2048];

as done by ccp1 is not valid as the new index (2048) is outside of the
value range of TYPE_DOMAIN there.  This may eventually confuse VRP and
aliasing.


-- 


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