projects
/
cdsspec-compiler.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
edits
[cdsspec-compiler.git]
/
benchmark
/
chase-lev-deque-bugfix
/
deque.c
diff --git
a/benchmark/chase-lev-deque-bugfix/deque.c
b/benchmark/chase-lev-deque-bugfix/deque.c
index 010704c61985e31280af3668a32b340acd433750..b4f63171fde4fda413384f3f7eeae90f816fcdab 100644
(file)
--- a/
benchmark/chase-lev-deque-bugfix/deque.c
+++ b/
benchmark/chase-lev-deque-bugfix/deque.c
@@
-118,7
+118,7
@@
void push(Deque *q, int x) {
resize(q);
// CDSSpec can actually detect the same bug if we avoid the UL error
//Bug in paper...should have next line...
resize(q);
// CDSSpec can actually detect the same bug if we avoid the UL error
//Bug in paper...should have next line...
-
//
a = (Array *) atomic_load_explicit(&q->array, memory_order_relaxed);
+ a = (Array *) atomic_load_explicit(&q->array, memory_order_relaxed);
/**
//@Begin
@Commit_point_define_check: true
/**
//@Begin
@Commit_point_define_check: true