Re: [PATCH] Clean up and extend VRP edge-assertion code

2014-05-05 Thread Patrick Palka
On Mon, May 5, 2014 at 8:47 AM, Richard Biener wrote: > On Mon, May 5, 2014 at 4:45 AM, Patrick Palka wrote: >> On Sun, May 4, 2014 at 12:20 PM, Patrick Palka wrote: >>> This patch causes a latent test failure in gcc.dg/uninit-pred-9_b.c >>> due to an oversight in the tree-ssa-uninit code for wh

Re: [PATCH] Clean up and extend VRP edge-assertion code

2014-05-05 Thread Richard Biener
On Mon, May 5, 2014 at 4:45 AM, Patrick Palka wrote: > On Sun, May 4, 2014 at 12:20 PM, Patrick Palka wrote: >> This patch causes a latent test failure in gcc.dg/uninit-pred-9_b.c >> due to an oversight in the tree-ssa-uninit code for which I will send >> a fix shortly. > > Never mind, I spoke to

Re: [PATCH] Clean up and extend VRP edge-assertion code

2014-05-04 Thread Patrick Palka
On Sun, May 4, 2014 at 12:20 PM, Patrick Palka wrote: > This patch causes a latent test failure in gcc.dg/uninit-pred-9_b.c > due to an oversight in the tree-ssa-uninit code for which I will send > a fix shortly. Never mind, I spoke too soon.. I haven't been able to solve this properly.

Re: [PATCH] Clean up and extend VRP edge-assertion code

2014-05-04 Thread Patrick Palka
This patch causes a latent test failure in gcc.dg/uninit-pred-9_b.c due to an oversight in the tree-ssa-uninit code for which I will send a fix shortly.