Re: [PATCH] Fix PR69726

2016-02-11 Thread Richard Biener
On Thu, 11 Feb 2016, Christophe Lyon wrote: > On 9 February 2016 at 13:42, Richard Biener wrote: > > > > It turns out if-conversions poor job on > > > > if (a) > >x[i] = ...; > > else > >x[i] = ...; > > > > results in bogus uninit warnings of x[i] for a variety of reasons. > > First of

Re: [PATCH] Fix PR69726

2016-02-11 Thread Christophe Lyon
On 9 February 2016 at 13:42, Richard Biener wrote: > > It turns out if-conversions poor job on > > if (a) >x[i] = ...; > else >x[i] = ...; > > results in bogus uninit warnings of x[i] for a variety of reasons. > First of all forwprop (aka match.pd simplification) doesn't fixup > all of i

[PATCH] Fix PR69726

2016-02-09 Thread Richard Biener
It turns out if-conversions poor job on if (a) x[i] = ...; else x[i] = ...; results in bogus uninit warnings of x[i] for a variety of reasons. First of all forwprop (aka match.pd simplification) doesn't fixup all of if-conversions poor job as canonicalization sometimes inverts the condit