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

[trippels at gcc dot gnu.org]

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

--- Comment #1 from Markus Trippelsdorf <trippels at gcc dot gnu.org> ---
enum rtx_code {
  CONST_DOUBLE,
  CONST_VECTOR,
  CONST_STRING,
  CONST,
  PC,
  REG,
  SUBREG,
  STRICT_LOW_PART,
  CONCAT,
  CONCATN,
  MEM
};
int fn1();
int a;
rtx_code b;
int fn2() {
  int c = fn1();
  for (;; a = 0)
    if (!(b == REG) && !(b == MEM) && (c || b && fn1()))
      return 0;
}