X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Ftests%2Fuserprog%2Fsc-bad-sp.c;h=39cce84ebb9d70ce2536f480a4d7142585ee20ea;hb=d6d7ad6b1cf3a6f08b89ef90a0ad9d68bb86888c;hp=2ae20e96d01cd63b2f421feb1786af2fcb40f9db;hpb=575dc45e34db19ee7808c116e93485b37e0df716;p=pintos-anon diff --git a/src/tests/userprog/sc-bad-sp.c b/src/tests/userprog/sc-bad-sp.c index 2ae20e9..39cce84 100644 --- a/src/tests/userprog/sc-bad-sp.c +++ b/src/tests/userprog/sc-bad-sp.c @@ -1,9 +1,20 @@ +/* Invokes a system call with the stack pointer (%esp) set to a + bad address. The process must be terminated with -1 exit + code. + + For Project 3: The bad address lies approximately 64MB below + the code segment, so there is no ambiguity that this attempt + must be rejected even after stack growth is implemented. + Moreover, a good stack growth heuristics should probably not + grow the stack for the purpose of reading the system call + number and arguments. */ + #include "tests/lib.h" #include "tests/main.h" void test_main (void) { - asm volatile ("movl $0x20101234, %esp; int $0x30"); + asm volatile ("movl $.-(64*1024*1024), %esp; int $0x30"); fail ("should have called exit(-1)"); }