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

   1 /* Tries to write to 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/main.h"
   8
   9 void
  10 test_main (void)
  11 {
  12   char buf = 123;
  13   write (0x01012342, &buf, 1);
  14   write (7, &buf, 1);
  15   write (2546, &buf, 1);
  16   write (-5, &buf, 1);
  17   write (-8192, &buf, 1);
  18   write (INT_MIN + 1, &buf, 1);
  19   write (INT_MAX - 1, &buf, 1);
  20 }