pintos-os.org Git - pintos-anon/blob - src/tests/userprog/read-zero.c

   1 /* Try a 0-byte read, which should return 0 without reading
   2    anything. */
   3
   4 #include <syscall.h>
   5 #include "tests/lib.h"
   6 #include "tests/main.h"
   7
   8 void
   9 test_main (void)
  10 {
  11   int handle, byte_cnt;
  12   char buf;
  13
  14   CHECK ((handle = open ("sample.txt")) > 1, "open \"sample.txt\"");
  15
  16   buf = 123;
  17   byte_cnt = read (handle, &buf, 0);
  18   if (byte_cnt != 0)
  19     fail ("read() returned %d instead of 0", byte_cnt);
  20   else if (buf != 123)
  21     fail ("0-byte read() modified buffer");
  22 }