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

   1 #include <limits.h>
   2 #include <syscall.h>
   3 #include "tests/lib.h"
   4 #include "tests/main.h"
   5
   6 void
   7 test_main (void)
   8 {
   9   char buf;
  10   read (0x20101234, &buf, 1);
  11   read (5, &buf, 1);
  12   read (1234, &buf, 1);
  13   read (-1, &buf, 1);
  14   read (-1024, &buf, 1);
  15   read (INT_MIN, &buf, 1);
  16   read (INT_MAX, &buf, 1);
  17 }