------- 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