tests/forward_substitution3.c

   1 void foo()
   2 {
   3         int a[10];
   4 #pragma scop
   5         int b = 1;
   6         int c = b;
   7         b = 2;
   8         a[c] = 5;
   9 #pragma endscop
  10 }