diff options
| author | Akira Yokosawa <akiyks@gmail.com> | 2020-11-28 08:43:45 +0900 |
|---|---|---|
| committer | Paul E. McKenney <paulmck@kernel.org> | 2021-01-04 14:40:49 -0800 |
| commit | 5c587f9b9c35850f9da3c425f98dc53ab1cde9f3 (patch) | |
| tree | afb969cc3dbec7663fe93fbed19c6a239ef63f25 /tools/memory-model/litmus-tests/ISA2+poonceonces.litmus | |
| parent | 8881e7a774a8d14088d6c6fde8730660f74a3642 (diff) | |
| download | linux-5c587f9b9c35850f9da3c425f98dc53ab1cde9f3.tar.bz2 | |
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/ISA2+poonceonces.litmus')
| -rw-r--r-- | tools/memory-model/litmus-tests/ISA2+poonceonces.litmus | 6 |
1 files changed, 1 insertions, 5 deletions
diff --git a/tools/memory-model/litmus-tests/ISA2+poonceonces.litmus b/tools/memory-model/litmus-tests/ISA2+poonceonces.litmus index 212a432ba16b..b321aa6f4ea5 100644 --- a/tools/memory-model/litmus-tests/ISA2+poonceonces.litmus +++ b/tools/memory-model/litmus-tests/ISA2+poonceonces.litmus @@ -9,11 +9,7 @@ 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) { |