1 /* { dg-do compile } */
2 /* { dg-options "-fno-tree-copy-prop -fno-tree-dominator-opts" } */
3 
4 struct S
5 {
6   struct S *s;
7 };
8 
9 static struct S *ss;
10 struct S *s;
11 
12 void bar(void);
13 
foo(void)14 void foo(void)
15 {
16   for (;;)
17     {
18       s->s = ss;
19       bar ();
20     }
21 }
22