[Bug tree-optimization/58209] ICE in extract_range_from_binary_expr, at tree-vrp.c:2294

[mpolacek at gcc dot gnu.org]

http://gcc.gnu.org/bugzilla/show_bug.cgi?id=58209

--- Comment #3 from Marek Polacek <mpolacek at gcc dot gnu.org> ---
Actually this one's better, the TC in #c2 ICEs only with trunk, the following
ICEs with 4.[678]/trunk:

long *
foo (long n)
{
  if (n)
    return (long *) 1;
  long s = (long) foo (1);
  return (long *) (s + 1);
}