projects
/
c11tester.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
(from parent 1:
4da0074
)
merge
author
root
<root@dw-6.eecs.uci.edu>
Wed, 19 Jun 2019 20:52:43 +0000
(13:52 -0700)
committer
root
<root@dw-6.eecs.uci.edu>
Wed, 19 Jun 2019 20:52:43 +0000
(13:52 -0700)
action.cc
patch
|
blob
|
history
diff --git
a/action.cc
b/action.cc
index 9c0e29920e362f5d2a2fa7d3681077dad4b7690a..cfdb6e67469d67baa14f02cca00cc49c65e809f0 100644
(file)
--- a/
action.cc
+++ b/
action.cc
@@
-465,6
+465,7
@@
uint64_t ModelAction::get_reads_from_value() const
ASSERT(is_read());
if (reads_from)
return reads_from->get_write_value();
+
return VALUE_NONE; // Only for new actions with no reads-from
}