tests/forward_substitution1.c

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