[Bug tree-optimization/60669] VRP misses asserts for some already defined statements

[rguenth at gcc dot gnu.org]

http://gcc.gnu.org/bugzilla/show_bug.cgi?id=60669

--- Comment #1 from Richard Biener <rguenth at gcc dot gnu.org> ---
because it's not used in the paths dominated by the conditional.