Kenneth Zadeck <zad...@naturalbridge.com> writes: > I think that this patch is fine as is. but in looking at the > surrounding code, i saw something that appears to be somewhat troubling. > > I am worried about the two asserts. Given that we now require that > some users write code similar to the code in tree-vrp.c:2628, it seems > that these asserts are only latent land mines.
Yeah, they should probably go. OK to remove them? Thanks, Richard