https://gcc.gnu.org/bugzilla/show_bug.cgi?id=86158
--- Comment #9 from Martin Liška <marxin at gcc dot gnu.org> --- And the integer constants are created here: ipa-prop.c: if (addr_nonzero) { tree z = build_int_cst (TREE_TYPE (arg), 0); ipa_set_jfunc_vr (jfunc, VR_ANTI_RANGE, z, z); } So it explains why it was exposed by a VRP change.