diff options
| author | Akira Yokosawa <[email protected]> | 2020-11-27 23:43:45 +0000 |
|---|---|---|
| committer | Paul E. McKenney <[email protected]> | 2021-01-04 22:40:49 +0000 |
| commit | 5c587f9b9c35850f9da3c425f98dc53ab1cde9f3 (patch) | |
| tree | afb969cc3dbec7663fe93fbed19c6a239ef63f25 /net/bluetooth/hci_request.c | |
| parent | tools/memory-model: Tie acquire loads to reads-from (diff) | |
| download | kernel-5c587f9b9c35850f9da3c425f98dc53ab1cde9f3.tar.gz kernel-5c587f9b9c35850f9da3c425f98dc53ab1cde9f3.zip | |
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 <[email protected]>
Signed-off-by: Akira Yokosawa <[email protected]>
Signed-off-by: Paul E. McKenney <[email protected]>
Diffstat (limited to 'net/bluetooth/hci_request.c')
0 files changed, 0 insertions, 0 deletions