tools/memory-model: Add types to litmus tests

[linux-2.6-microblaze.git] / tools / memory-model / litmus-tests / MP+onceassign+derefonce.litmus

diff --git a/tools/memory-model/litmus-tests/MP+onceassign+derefonce.litmus b/tools/memory-model/litmus-tests/MP+onceassign+derefonce.litmus
index 97731b4..18df682 100644 (file)
--- a/tools/memory-model/litmus-tests/MP+onceassign+derefonce.litmus
+++ b/tools/memory-model/litmus-tests/MP+onceassign+derefonce.litmus
@@ -10,8 +10,9 @@ C MP+onceassign+derefonce
  *)
 
 {
-y=z;
-z=0;
+       int x;
+       int *y=z;
+       int z=0;
 }
 
 P0(int *x, int **y)