X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?p=pintos-anon;a=blobdiff_plain;f=src%2Ftests%2Fuserprog%2Fbad-write.c;h=9082c9bd157c0f7a3cb84f1407b2b20533c58aab;hp=000c26b315a88179cca360dc75b55eeffd91d01d;hb=d18533cc294552c39f69781e5a9b04b8882b6364;hpb=f5fa837e313d018a945eaedd28352e7f24e5b1a6

diff --git a/src/tests/userprog/bad-write.c b/src/tests/userprog/bad-write.c
index 000c26b..9082c9b 100644
--- a/src/tests/userprog/bad-write.c
+++ b/src/tests/userprog/bad-write.c
@@ -7,6 +7,6 @@
 void
 test_main (void) 
 {
-  *(int *)NULL = 42;
+  *(volatile int *)NULL = 42;
   fail ("should have exited with -1");
 }