structA{inta;};intfoo(structA*a){staticintc=30;intx;a->a=c;/* Dominator optimizations will replace the use of 'a->a' with 'c', but they won't copy the virtual operands for 'c' from its originating statement. This exposes symbol 'c' without a correct SSA version number. */x=a->a;returnx;}