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