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

00001 /* Passes an invalid pointer to the open system call.
00002    The process must be terminated with -1 exit code. */
00003 
00004 #include <syscall.h>
00005 #include "tests/lib.h"
00006 #include "tests/main.h"
00007 
00008 void
00009 test_main (void) 
00010 {
00011   msg ("open(0x20101234): %d", open ((char *) 0x20101234));
00012   fail ("should have called exit(-1)");
00013 }