X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?p=pintos-anon;a=blobdiff_plain;f=src%2Ftests%2Fuserprog%2Fbad-read.c;h=d821a9a1fd15a228b2a7287f6a1a74f209372671;hp=904c278a0e307d1ebc22fdbdb77da74e64849818;hb=d18533cc294552c39f69781e5a9b04b8882b6364;hpb=f5fa837e313d018a945eaedd28352e7f24e5b1a6

diff --git a/src/tests/userprog/bad-read.c b/src/tests/userprog/bad-read.c
index 904c278..d821a9a 100644
--- a/src/tests/userprog/bad-read.c
+++ b/src/tests/userprog/bad-read.c
@@ -8,6 +8,6 @@ void
 test_main (void) 
 {
   msg ("Congratulations - you have successfully dereferenced NULL: %d", 
-        *(int *)NULL);
+        *(volatile int *) NULL);
   fail ("should have exited with -1");
 }