------- Comment #6 from rguenth at gcc dot gnu dot org 2010-05-14 21:16 ------- We fold
D.1794_14 = D.1795_13 * 4; D.1793_15 = &vals[0][0] + D.1794_14; to &vals[0][D.1795_13] Now we can either avoid doing this kind of foldings or we need to be more careful when analyzing the result in the oracle. -- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=44069
