[Bug tree-optimization/88444] [9 Regression] ICE: tree check: expected ssa_name, have integer_cst in live_on_edge, at tree-vrp.c:468; or ICE: tree check: expected ssa_name, have integer_cst in get_value_range, at vr-values.c:84

["rguenth at gcc dot gnu.org" <gcc-bugzilla at gcc dot gnu dot org>]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=88444

Richard Biener <rguenth at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |rguenth at gcc dot gnu.org

--- Comment #3 from Richard Biener <rguenth at gcc dot gnu.org> ---
_22 = (long int) 0;

IMHO this is a bug, when IPA-CP propagates things we should fold the stmt.
This is probably done by the inliner remapping a SSA name to a constant?
It might be difficult to avoid folding all stmts but maybe we can detect
when we replace sth by a constant and mark the stmt for folding then.
Having

_22 = 0;

is OK.