tests/inputs/disconnected.c

   1 void F2(int);
   2 int F1(int);
   3 int t(int);
   4
   5 int N = 20;
   6 #pragma parameter N 7 21
   7
   8 int main(void)
   9 {
  10    int state;
  11
  12    state = 0;
  13    F2(state);
  14
  15    for (int i = 0; i < N; i++) {
  16      if (t(i)) {
  17         state = F1(i);
  18         F2(state);
  19      }
  20    }
  21
  22    return 0;
  23 }