[Bug tree-optimization/86741] [9 Regression] ICE in vrp_prop::check_mem_ref building glibc for i686-gnu

[mpolacek at gcc dot gnu.org]

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

--- Comment #4 from Marek Polacek <mpolacek at gcc dot gnu.org> ---
Reduced:

struct S
{
  int s;
};

void fn2 (void);

void
fn1 ()
{
  extern void a;
  struct S *b = &a;
  if (b->s)
    fn2 ();
}