CS318 - Pintos
Pintos source browser for JHU CS318 course
read-bad-fd.c
Go to the documentation of this file.
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 }
lib.h
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
limits.h
main.h
test_main
void test_main(void)
Tries to read from an invalid fd, which must either fail silently or terminate the process with exit ...
Definition: read-bad-fd.c:11
read
int read(int fd, void *buffer, unsigned size)
Definition: syscall.c:115
Generated on Thu Aug 22 2019 10:19:15 for CS318 - Pintos by   doxygen 1.8.16