1 struct A
2 {
3   int a;
4 };
5 
foo(struct A * a)6 int foo (struct A *a)
7 {
8   static int c = 30;
9   int x;
10 
11   a->a = c;
12   /* Dominator optimizations will replace the use of 'a->a' with 'c', but
13      they won't copy the virtual operands for 'c' from its originating
14      statement.  This exposes symbol 'c' without a correct SSA version
15      number.  */
16   x = a->a;
17   return x;
18 }
19