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

   1 #include <limits.h>
   2 #include <syscall.h>
   3 #include "tests/main.h"
   4
   5 void
   6 test_main (void)
   7 {
   8   char buf = 123;
   9   write (0x01012342, &buf, 1);
  10   write (7, &buf, 1);
  11   write (2546, &buf, 1);
  12   write (-5, &buf, 1);
  13   write (-8192, &buf, 1);
  14   write (INT_MIN + 1, &buf, 1);
  15   write (INT_MAX - 1, &buf, 1);
  16 }