------- Comment #5 from dnovillo at google dot com 2007-08-17 20:37 ------- Subject: Re: [4.2 Regression] Scalar evolutions confusing VRP with pointer values that wrap around
On 8/17/07 4:34 PM, pinskia at gcc dot gnu dot org wrote: > ------- Comment #4 from pinskia at gcc dot gnu dot org 2007-08-17 20:34 > ------- > Oh you are correct but this still worked in 4.1.1 though, I have not looked > into what changed between 4.1.1 and 4.2.0 with respect of scev yet. Since you are looking, two things to check for: (1) IL representation for the pointer subtraction, and (2) SCEV may have returned an unknown chrec back in 4.1. Or maybe we still didn't consider pointers to not-wrap. -- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=33099