PKUOS - Pintos
Pintos source browser for PKU Operating System course
pt-bad-addr.c
Go to the documentation of this file.
1/** Accesses a bad address.
2 The process must be terminated with -1 exit code. */
3
4#include "tests/lib.h"
5#include "tests/main.h"
6
7void
9{
10 fail ("bad addr read as %d", *(int *) 0x04000000);
11}
void fail(const char *format,...)
Definition: lib.c:40
void test_main(void)
Accesses a bad address.
Definition: pt-bad-addr.c:8