1  /* { dg-do compile } */
       2  /* { dg-options "-O -fdump-tree-cddce1" } */
       3  
       4  struct object { int field; };
       5  void o(struct object *);
       6  int globl;
       7  void t(int x)
       8  {
       9    struct object a, b;
      10    struct object *p;
      11    o(&a);
      12    if (x)
      13      p = &a;
      14    else
      15      p = &b;
      16    p->field = 1;
      17    globl = 0;
      18    return;
      19  }
      20  
      21  /* The global store should not prevent deleting the store to p->field.  */
      22  
      23  /* { dg-final { scan-tree-dump-not "p_.->field" "cddce1" } } */