projects
/
model-checker.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
action, model: add ASSERT(), not NULL checks
[model-checker.git]
/
model.cc
diff --git
a/model.cc
b/model.cc
index 9ebc85344cd8c4343349a4d7df21e9d034915edc..b10a841a3fdece2304fe405dfcf02de1c6856400 100644
(file)
--- a/
model.cc
+++ b/
model.cc
@@
-1324,8
+1324,9
@@
bool ModelChecker::initialize_curr_action(ModelAction **curr)
*/
bool ModelChecker::read_from(ModelAction *act, const ModelAction *rf)
{
*/
bool ModelChecker::read_from(ModelAction *act, const ModelAction *rf)
{
+ ASSERT(rf);
act->set_read_from(rf);
act->set_read_from(rf);
- if (
rf != NULL &&
act->is_acquire()) {
+ if (act->is_acquire()) {
rel_heads_list_t release_heads;
get_release_seq_heads(act, act, &release_heads);
int num_heads = release_heads.size();
rel_heads_list_t release_heads;
get_release_seq_heads(act, act, &release_heads);
int num_heads = release_heads.size();