CS318 - Pintos
Pintos source browser for JHU CS318 course
src
tests
userprog
bad-write.c
Go to the documentation of this file.
1
/** This program attempts to write to memory at an address that is not mapped.
2
This should terminate the process with a -1 exit code. */
3
4
#include "
tests/lib.h
"
5
#include "
tests/main.h
"
6
7
void
8
test_main
(
void
)
9
{
10
*(
volatile
int
*)
NULL
= 42;
11
fail
(
"should have exited with -1"
);
12
}
lib.h
NULL
#define NULL
Definition:
stddef.h:4
fail
void fail(const char *format,...)
Definition:
lib.c:40
main.h
test_main
void test_main(void)
This program attempts to write to memory at an address that is not mapped.
Definition:
bad-write.c:8
Generated on Thu Aug 22 2019 10:19:15 for CS318 - Pintos by
1.8.16