projects
/
c11tester.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
(from parent 2:
aa653d6
)
Merge branch 'branch-weiyu' into new_fuzzer
author
Brian Demsky
<bdemsky@uci.edu>
Wed, 19 Jun 2019 20:59:56 +0000
(13:59 -0700)
committer
Brian Demsky
<bdemsky@uci.edu>
Wed, 19 Jun 2019 20:59:56 +0000
(13:59 -0700)
action.cc
patch
|
blob
|
history
diff --git
a/action.cc
b/action.cc
index df44af19953e334e47ba65d56a249e9cd47840a2..b3db1f16280f58e234fcd9484c11b7e204671126 100644
(file)
--- a/
action.cc
+++ b/
action.cc
@@
-502,6
+502,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
}