diff options
author | Gabriel Scherer <gabriel.scherer@gmail.com> | 2023-04-26 23:04:46 +0200 |
---|---|---|
committer | GitHub <noreply@github.com> | 2023-04-26 23:04:46 +0200 |
commit | 9fd4767208663033b7695c3b507239c6197bdded (patch) | |
tree | 5ee8ce78f99cf003e1c17a85ecfd3d7707ff4450 /testsuite | |
parent | 69472048a0d1782d2b773561588339136a8cf5b6 (diff) | |
parent | 2788503869eae32cbddfbc9952dd7b512a4816cb (diff) | |
download | ocaml-9fd4767208663033b7695c3b507239c6197bdded.tar.gz |
Merge pull request #12192 from gadmm/simpl_atomic
Simplification with atomic_ helpers
Diffstat (limited to 'testsuite')
-rw-r--r-- | testsuite/tests/lf_skiplist/stubs.c | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/testsuite/tests/lf_skiplist/stubs.c b/testsuite/tests/lf_skiplist/stubs.c index 991483e408..75296cd92b 100644 --- a/testsuite/tests/lf_skiplist/stubs.c +++ b/testsuite/tests/lf_skiplist/stubs.c @@ -68,8 +68,7 @@ static uintnat count_marks(struct lf_skiplist *sk) { while (p) { for (int k = p->top_level; k >= 0; k--) { - succ = - (uintptr_t)atomic_load_explicit(&p->forward[k],memory_order_relaxed); + succ = (uintptr_t)atomic_load_relaxed(&p->forward[k]); if (LF_SK_IS_MARKED(succ)) r++ ; } p = LF_SK_UNMARK(succ); |