pintos-os.org Git - pintos-anon/blob - src/tests/userprog/child-bad.c

   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
   9 void
  10 test_main (void)
  11 {
  12   asm volatile ("movl $0x20101234, %esp; int $0x30");
  13   fail ("should have exited with -1");
  14 }