Fix ld output with recent versions of GCC and binutils

[pintos-anon] / src / tests / vm / pt-grow-bad.c

diff --git a/src/tests/vm/pt-grow-bad.c b/src/tests/vm/pt-grow-bad.c
index 2629574cc6f4bb0479cdc7ee4a66746ccee2433c..d4beba22ff50e06ff6a31bc4783061ce2abd92b3 100644 (file)
--- a/src/tests/vm/pt-grow-bad.c
+++ b/src/tests/vm/pt-grow-bad.c
@@ -1,3 +1,6 @@
+/* Read from an address 4,096 bytes below the stack pointer.
+   The process must be terminated with -1 exit code. */
+
 #include <string.h>
 #include "tests/arc4.h"
 #include "tests/cksum.h"
@@ -7,7 +10,5 @@
 void
 test_main (void)
 {
-  /* Read from an address 4,096 bytes below the stack pointer.
-     Must kill the program. */
-  asm volatile ("mov %eax, [%esp - 4096]");
+  asm volatile ("movl -4096(%esp), %eax");
 }