tools/memory-model: Add types to litmus tests

[linux-2.6-microblaze.git] / tools / memory-model / litmus-tests / ISA2+poonceonces.litmus

diff --git a/tools/memory-model/litmus-tests/ISA2+poonceonces.litmus b/tools/memory-model/litmus-tests/ISA2+poonceonces.litmus
index b321aa6..212a432 100644 (file)
--- a/tools/memory-model/litmus-tests/ISA2+poonceonces.litmus
+++ b/tools/memory-model/litmus-tests/ISA2+poonceonces.litmus
@@ -9,7 +9,11 @@ C ISA2+poonceonces
  * of the smp_load_acquire() invocations are replaced by READ_ONCE()?
  *)
 
-{}
+{
+       int x;
+       int y;
+       int z;
+}
 
 P0(int *x, int *y)
 {