X-Git-Url: http://git.monstr.eu/?a=blobdiff_plain;f=tools%2Fmemory-model%2Flitmus-tests%2FZ6.0%2Bpooncerelease%2Bpoacquirerelease%2Bfencembonceonce.litmus;fp=tools%2Fmemory-model%2Flitmus-tests%2FZ6.0%2Bpooncerelease%2Bpoacquirerelease%2Bfencembonceonce.litmus;h=88e70b87a683e045ddf3148b7a6a9808214cc5c0;hb=5c587f9b9c35850f9da3c425f98dc53ab1cde9f3;hp=661f9aaa57914b76ca2759d3deeeb8937c96eaec;hpb=8881e7a774a8d14088d6c6fde8730660f74a3642;p=linux-2.6-microblaze.git diff --git a/tools/memory-model/litmus-tests/Z6.0+pooncerelease+poacquirerelease+fencembonceonce.litmus b/tools/memory-model/litmus-tests/Z6.0+pooncerelease+poacquirerelease+fencembonceonce.litmus index 661f9aaa5791..88e70b87a683 100644 --- a/tools/memory-model/litmus-tests/Z6.0+pooncerelease+poacquirerelease+fencembonceonce.litmus +++ b/tools/memory-model/litmus-tests/Z6.0+pooncerelease+poacquirerelease+fencembonceonce.litmus @@ -14,11 +14,7 @@ C Z6.0+pooncerelease+poacquirerelease+fencembonceonce * involving locking.) *) -{ - int x; - int y; - int z; -} +{} P0(int *x, int *y) {