projects / model-checker.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 2daff86) | patch
nodestack: get_read_from_promise() never returns NULL
authorBrian Norris <banorris@uci.edu>
Fri, 1 Mar 2013 06:46:25 +0000 (22:46 -0800)
committerBrian Norris <banorris@uci.edu>
Fri, 1 Mar 2013 06:46:25 +0000 (22:46 -0800)
commit9fe0f14ceaf30ca99ce7a58aba8c49bb9b351f71
treef6c544a96e3410175a212640cf61ed730ea74e83tree | snapshot
parent2daff868a7ef4f6235c2776b746cec9947a87b13commit | diff
nodestack: get_read_from_promise() never returns NULL

If the read_from_promise_idx is out of bounds, this is an error. We
should not return NULL (and in fact, our caller never expects us to
return NULL).
nodestack.cc diff | blob | history
C++11 memory model checker