[Bug c/84803] [8 Regression] ICE from ifcvt_memrefs_wont_trap with -O3

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

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

Martin Liška <marxin at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
           Priority|P3                          |P1
             Status|UNCONFIRMED                 |NEW
      Known to work|                            |7.3.0
           Keywords|                            |ice-on-valid-code
   Last reconfirmed|                            |2018-03-12
                 CC|                            |jgreenhalgh at gcc dot gnu.org,
                   |                            |marxin at gcc dot gnu.org
     Ever confirmed|0                           |1
            Summary|ice from                    |[8 Regression] ICE from
                   |ifcvt_memrefs_wont_trap     |ifcvt_memrefs_wont_trap
                   |with -O3                    |with -O3
   Target Milestone|---                         |8.0
      Known to fail|                            |8.0

--- Comment #3 from Martin Liška <marxin at gcc dot gnu.org> ---
Confirmed, started with r250619.

Reduced test-case w/o warnings:
long a;
long *b;
void c ();
void d ();
void
e (long f)
{
  if (a)
    *b = f;
}
void
g ()
{
  c (g, e);
}
void
c (int f, int h ())
{
  d (f, h, "");
}
void
d (int f, int h (), char *i, char *k)
{
  int j;
  d (f, h, i + 1, k);
  while (--j)
    h (*i);
}