/* { dg-do compile } */
/* { dg-options "-O -fdump-tree-cddce1" } */

struct object { int field; };
void o(struct object *);
int globl;
void t(int x)
{
  struct object a, b;
  struct object *p;
  o(&a);
  if (x)
    p = &a;
  else
    p = &b;
  p->field = 1;
  globl = 0;
  return;
}

/* The global store should not prevent deleting the store to p->field.  */

/* { dg-final { scan-tree-dump-not "p_.->field" "cddce1" } } */