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=1f197c6861841bc0c27327c20b85e7b43b65affe

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");
 }