PKUOS - Pintos
Pintos source browser for PKU Operating System course
child-bad.c
Go to the documentation of this file.
1/** Child process run by wait-killed test.
2 Sets the stack pointer (%esp) to an invalid value and invokes
3 a system call, which should then terminate the process with a
4 -1 exit code. */
5
6#include "tests/lib.h"
7#include "tests/main.h"
8
9void
10test_main (void)
11{
12 asm volatile ("movl $0x20101234, %esp; int $0x30");
13 fail ("should have exited with -1");
14}
void test_main(void)
Child process run by wait-killed test.
Definition: child-bad.c:10
void fail(const char *format,...)
Definition: lib.c:40