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;
t(int x)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" } } */
24