Pintos: pintos/src/tests/vm/mmap-bad-fd.c Source File

00001 /* Tries to mmap an invalid fd,
00002    which must either fail silently or terminate the process with
00003    exit code -1. */
00004 
00005 #include <syscall.h>
00006 #include "tests/lib.h"
00007 #include "tests/main.h"
00008 
00009 void
00010 test_main (void) 
00011 {
00012   CHECK (mmap (0x5678, (void *) 0x10000000) == MAP_FAILED,
00013          "try to mmap invalid fd");
00014 }
00015