PKUOS - Pintos
Pintos source browser for PKU Operating System 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
10void
11test_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}
buf
static char buf[BUF_SIZE]
Definition: child-syn-read.c:16
read
int read(int fd, void *buffer, unsigned size)
Definition: syscall.c:115
INT_MIN
#define INT_MIN
Definition: limits.h:23
INT_MAX
#define INT_MAX
Definition: limits.h:22
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
Generated on Thu Nov 4 2021 19:31:01 for PKUOS - Pintos by doxygen 1.9.2