summaryrefslogtreecommitdiff
path: root/tools/memory-model/litmus-tests/IRIW+poonceonces+OnceOnce.litmus
diff options
context:
space:
mode:
authorAkira Yokosawa <akiyks@gmail.com>2020-11-28 02:43:45 +0300
committerPaul E. McKenney <paulmck@kernel.org>2021-01-05 01:40:49 +0300
commit5c587f9b9c35850f9da3c425f98dc53ab1cde9f3 (patch)
treeafb969cc3dbec7663fe93fbed19c6a239ef63f25 /tools/memory-model/litmus-tests/IRIW+poonceonces+OnceOnce.litmus
parent8881e7a774a8d14088d6c6fde8730660f74a3642 (diff)
downloadlinux-5c587f9b9c35850f9da3c425f98dc53ab1cde9f3.tar.xz
tools/memory-model: Remove redundant initialization in litmus tests
This is a revert of commit 1947bfcf81a9 ("tools/memory-model: Add types to litmus tests") with conflict resolutions. klitmus7 [1] is aware of default types of "int" and "int*". It accepts litmus tests for herd7 without extra type info unless non-"int" variables are referenced by an "exists", "locations", or "filter" directive. [1]: Tested with klitmus7 versions 7.49 or later. Suggested-by: Paul E. McKenney <paulmck@kernel.org> Signed-off-by: Akira Yokosawa <akiyks@gmail.com> Signed-off-by: Paul E. McKenney <paulmck@kernel.org>
Diffstat (limited to 'tools/memory-model/litmus-tests/IRIW+poonceonces+OnceOnce.litmus')
-rw-r--r--tools/memory-model/litmus-tests/IRIW+poonceonces+OnceOnce.litmus5
1 files changed, 1 insertions, 4 deletions
diff --git a/tools/memory-model/litmus-tests/IRIW+poonceonces+OnceOnce.litmus b/tools/memory-model/litmus-tests/IRIW+poonceonces+OnceOnce.litmus
index f84022dca555..4b54dd6a6cd9 100644
--- a/tools/memory-model/litmus-tests/IRIW+poonceonces+OnceOnce.litmus
+++ b/tools/memory-model/litmus-tests/IRIW+poonceonces+OnceOnce.litmus
@@ -10,10 +10,7 @@ C IRIW+poonceonces+OnceOnce
* different process?
*)
-{
- int x;
- int y;
-}
+{}
P0(int *x)
{