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

[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.