diff options
Diffstat (limited to 'tools/memory-model/litmus-tests/ISA2+poonceonces.litmus')
-rw-r--r-- | tools/memory-model/litmus-tests/ISA2+poonceonces.litmus | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/tools/memory-model/litmus-tests/ISA2+poonceonces.litmus b/tools/memory-model/litmus-tests/ISA2+poonceonces.litmus index b321aa6f4ea5..212a432ba16b 100644 --- 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) { |