There are "no valid reads" only if there are no valid prior reads-from
candidates AND no potential values.
}
}
/* We may find no valid may-read-from only if the execution is doomed */
}
}
/* We may find no valid may-read-from only if the execution is doomed */
- if (!curr->get_node()->get_read_from_size()) {
+ if (!curr->get_node()->get_read_from_size() && curr->get_node()->future_value_empty()) {
priv->no_valid_reads = true;
set_assert();
}
priv->no_valid_reads = true;
set_assert();
}