[Bug tree-optimization/81089] [8 Regression] ICE: tree check: expected ssa_name, have integer_cst in register_edge_assert_for_2, at tree-vrp.c:5023

[tetra2005 at gmail dot com]

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

--- Comment #4 from Yuri Gribov <tetra2005 at gmail dot com> ---
Created attachment 41551
  --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=41551&action=edit
Draft patch

Here's a draft patch. It fixes the repro but bootstrapping will take some time
on my notebook.