CS318 - Pintos
Pintos source browser for JHU CS318 course
write-bad-fd.c
Go to the documentation of this file.
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 }
INT_MAX
#define INT_MAX
Definition: limits.h:22
buf
static char buf[BUF_SIZE]
Definition: child-syn-read.c:16
INT_MIN
#define INT_MIN
Definition: limits.h:23
write
int write(int fd, const void *buffer, unsigned size)
Definition: syscall.c:121
limits.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
main.h
Generated on Thu Aug 22 2019 10:19:15 for CS318 - Pintos by   doxygen 1.8.16