tools/memory-model: Add types to litmus tests
[linux-2.6-microblaze.git] / tools / memory-model / litmus-tests / S+poonceonces.litmus
index 8c9c2f8..7775c23 100644 (file)
@@ -9,7 +9,10 @@ C S+poonceonces
  * READ_ONCE(), is ordering preserved?
  *)
 
-{}
+{
+       int x;
+       int y;
+}
 
 P0(int *x, int *y)
 {