Fix userprog tests for clang

[pintos-anon] / src / tests / userprog / bad-write.c

diff --git a/src/tests/userprog/bad-write.c b/src/tests/userprog/bad-write.c
index 000c26b315a88179cca360dc75b55eeffd91d01d..9082c9bd157c0f7a3cb84f1407b2b20533c58aab 100644 (file)
--- 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");
 }