[Bug tree-optimization/70986] [7 Regression] ICE on valid code at -O3 on x86_64-linux-gnu in combine_blocks, at tree-if-conv.c:2219

[ktkachov at gcc dot gnu.org]

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

ktkachov at gcc dot gnu.org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |NEW
      Known to work|                            |6.1.0
           Keywords|                            |ice-on-valid-code
   Last reconfirmed|                            |2016-05-09
                 CC|                            |ktkachov at gcc dot gnu.org
     Ever confirmed|0                           |1
            Summary|ICE on valid code at -O3 on |[7 Regression] ICE on valid
                   |x86_64-linux-gnu in         |code at -O3 on
                   |combine_blocks, at          |x86_64-linux-gnu in
                   |tree-if-conv.c:2219         |combine_blocks, at
                   |                            |tree-if-conv.c:2219
   Target Milestone|---                         |7.0
      Known to fail|                            |7.0

--- Comment #2 from ktkachov at gcc dot gnu.org ---
Confirmed on aarch64 also.
I have another testcase that ICEs like this.
int a, b;
int
fn1 (int p1)
{
  return p1 < 0 ? p1 : a;
}

void
fn2 ()
{
lbl_100:
  b = 1;
  for (; b != 21; b = fn1 (b))
    ;
  goto lbl_100;
}

caused by the same commit as PR 70964, but I don't know if the bugs are
distinct