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

   1 /* Tries to read from an invalid fd,
   2    which must either fail silently or terminate the process with
   3    exit code -1. */
   4
   5 #include <limits.h>
   6 #include <syscall.h>
   7 #include "tests/lib.h"
   8 #include "tests/main.h"
   9
  10 void
  11 test_main (void)
  12 {
  13   char buf;
  14   read (0x20101234, &buf, 1);
  15   read (5, &buf, 1);
  16   read (1234, &buf, 1);
  17   read (-1, &buf, 1);
  18   read (-1024, &buf, 1);
  19   read (INT_MIN, &buf, 1);
  20   read (INT_MAX, &buf, 1);
  21 }