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

--- Comment #2 from Richard Biener <rguenth at gcc dot gnu.org> ---
The SSA _1 doesn't have a def stmt ...

int main() ()
{
  bool a_lsm.9;
  int a_lsm.8;
  bool b_lsm.7;
  int b_lsm.6;
  unsigned int _1;
  unsigned int _3;
  int _7;
  int a.0_9;

  <bb 2>:
  a.0_9 = a;
  if (a.0_9 >= 0)
    goto <bb 7>;
  else
    goto <bb 3>;

  <bb 3>:
  b_lsm.6_12 = b;

  <bb 4>:
  # b_lsm.6_6 = PHI <b_lsm.6_12(3), _7(5)>
  _7 = b_lsm.6_6 + 1;
  b_lsm.6_14 = (int) _1;
  if (b_lsm.6_14 >= 0)
    goto <bb 6>;
  else
    goto <bb 5>;

  <bb 5>:
  goto <bb 4>;

  <bb 6>:
  # a_lsm.8_22 = PHI <b_lsm.6_6(4)>
  # b_lsm.6_24 = PHI <_7(4)>
  b = b_lsm.6_24;
  a = a_lsm.8_22;

  <bb 7>:
  return 0;

already broken in IVOPTs.

Reply via email to