1struct A
2{
3  int a;
4};
5
6int 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