Pintos: pintos/src/tests/userprog/child-bad.c Source File

00001 /* Child process run by wait-killed test.
00002    Sets the stack pointer (%esp) to an invalid value and invokes
00003    a system call, which should then terminate the process with a
00004    -1 exit code. */
00005 
00006 #include "tests/lib.h"
00007 #include "tests/main.h"
00008 
00009 void
00010 test_main (void) 
00011 {
00012   asm volatile ("movl $0x20101234, %esp; int $0x30");
00013   fail ("should have exited with -1");
00014 }