array_scope.cvc 162 B

1234567891011
  1. extern void printInt(int val);
  2. void foo(int[n] arr) {
  3. int[n] q;
  4. printInt(n);
  5. printLast(arr);
  6. }
  7. void printLast(int[m] p) {
  8. printInt(p[m - 1]);
  9. }