projects
/
model-checker.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
nodestack: get_read_from_promise() never returns NULL
[model-checker.git]
/
nodestack.cc
diff --git
a/nodestack.cc
b/nodestack.cc
index 00cc30f8d7efb22cf9e5b110d4628ac83db55e0f..515a2d313abbee54abbd132057100c89f9f711fc 100644
(file)
--- a/
nodestack.cc
+++ b/
nodestack.cc
@@
-458,8
+458,7
@@
void Node::add_read_from_promise(const ModelAction *reader)
*/
Promise * Node::get_read_from_promise() const
{
*/
Promise * Node::get_read_from_promise() const
{
- if (read_from_promise_idx < 0 || read_from_promise_idx >= ((int)read_from_promises.size()))
- return NULL;
+ ASSERT(read_from_promise_idx >= 0 && read_from_promise_idx < ((int)read_from_promises.size()));
return read_from_promises[read_from_promise_idx]->get_reads_from_promise();
}
return read_from_promises[read_from_promise_idx]->get_reads_from_promise();
}