PKUOS - Pintos
Pintos source browser for PKU Operating System course
src
tests
userprog
bad-jump.c
Go to the documentation of this file.
1
/** This program attempts to execute code at address 0, which 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
typedef
int (*
volatile
functionptr
)(void);
8
9
void
10
test_main
(
void
)
11
{
12
functionptr
fp =
NULL
;
13
msg
(
"Congratulations - you have successfully called NULL: %d"
,
14
fp());
15
fail
(
"should have exited with -1"
);
16
}
test_main
void test_main(void)
tests/main.h
Definition:
bad-jump.c:10
functionptr
int(*volatile functionptr)(void)
This program attempts to execute code at address 0, which is not mapped.
Definition:
bad-jump.c:7
fail
void fail(const char *format,...)
Definition:
lib.c:40
msg
void msg(const char *format,...)
Definition:
lib.c:28
lib.h
main.h
NULL
#define NULL
Definition:
stddef.h:4
Generated on Thu Nov 4 2021 19:31:01 for PKUOS - Pintos by
1.9.2