Re: [PATCH][1/2] Improve array bound warnings

2015-01-26 Thread Jakub Jelinek
On Mon, Jan 26, 2015 at 03:57:20PM +0100, Richard Biener wrote: > > I've looked at PR64277 and noticed we haven't been applying TLC to the > array-bound warning code for a long time. I noticed we don't > warn for out-of-bound return &a[11]; - fixed with the simplifications. > I also noticed that

[PATCH][1/2] Improve array bound warnings

2015-01-26 Thread Richard Biener
I've looked at PR64277 and noticed we haven't been applying TLC to the array-bound warning code for a long time. I noticed we don't warn for out-of-bound return &a[11]; - fixed with the simplifications. I also noticed that anti-range handling has off-by-one errors (well, always applied ignore_off