pintos-doxygen/html/write-bad-fd_8c_source.html

/** Tries to write to an invalid fd,

   which must either fail silently or terminate the process with

   exit code -1. */


#include <limits.h>

#include <syscall.h>

#include "tests/main.h"


void

test_main (void)

{

  char buf = 123;

  write (0x01012342, &buf, 1);

  write (7, &buf, 1);

  write (2546, &buf, 1);

  write (-5, &buf, 1);

  write (-8192, &buf, 1);

  write (INT_MIN + 1, &buf, 1);

  write (INT_MAX - 1, &buf, 1);

}

buf
static char buf[BUF_SIZE]
Definition: child-syn-read.c:16

write
int write(int fd, const void *buffer, unsigned size)
Definition: syscall.c:121

limits.h

INT_MIN
#define INT_MIN
Definition: limits.h:23

INT_MAX
#define INT_MAX
Definition: limits.h:22

main.h

test_main
void test_main(void)
Tries to write to an invalid fd, which must either fail silently or terminate the process with exit c...
Definition: write-bad-fd.c:10