Re: [PATCH] Fix PR55555

2012-12-18 Thread Richard Biener
On Mon, 17 Dec 2012, Richard Biener wrote: > On Mon, 17 Dec 2012, Richard Biener wrote: > > > > > The following patch fixes a miscompilation due to bogus loop iteration > > bound derived from array accesses in an inner loop. idx_infer_loop_bounds > > analyzes the evoultion of an SSA name with r

Re: [PATCH] Fix PR55555

2012-12-17 Thread Richard Biener
On Mon, 17 Dec 2012, Richard Biener wrote: > > The following patch fixes a miscompilation due to bogus loop iteration > bound derived from array accesses in an inner loop. idx_infer_loop_bounds > analyzes the evoultion of an SSA name with respect to a loop it is not > defined in - which seems to