projects / model-checker.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: c685b2d) | patch
model: check for NULL parent Node
authorBrian Norris <banorris@uci.edu>
Thu, 13 Dec 2012 02:29:30 +0000 (18:29 -0800)
committerBrian Norris <banorris@uci.edu>
Thu, 13 Dec 2012 23:52:17 +0000 (15:52 -0800)
commit545b5f4d69e8156d7f1b9560170262303156bbf1
tree86e767fca20a483e3b42417cbc9cdf121c4916b0tree | snapshot
parentc685b2d29f203fd55e6ca2ad5db0f0a06e31aa79commit | diff
model: check for NULL parent Node

I'm editing the NodeStack to eliminate the empty Node. So we should
check to ensure that the Node has a parent before using it.
model.cc diff | blob | history
C++11 memory model checker