projects
/
c11tester.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
| inline |
side by side
edit
[c11tester.git]
/
execution.cc
diff --git
a/execution.cc
b/execution.cc
index ac3ecbc00e069abd7a53ebbf8d6d70168bf14c97..c07db8e9a7d21a555c789a3053c6bcb2b3846491 100644
(file)
--- a/
execution.cc
+++ b/
execution.cc
@@
-979,7
+979,7
@@
void ModelExecution::w_modification_order(ModelAction *curr)
edgeset.push_back(act);
else if (act->is_read()) {
//if previous read accessed a null, just keep going
- edgeset.push_back(act);
+ edgeset.push_back(act
->get_reads_from()
);
}
break;
}