test/wasi/c/read_file_twice.c


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16

#include <assert.h>
#include <stdio.h>

int main() {
  for (int i = 0; i < 2; i++) {
    FILE* file = fopen("/sandbox/input.txt", "r");
    assert(file != NULL);

    char c = fgetc(file);
    while (c != EOF) {
      int wrote = fputc(c, stdout);
      assert(wrote != EOF);
      c = fgetc(file);
    }
  }
}