projects / c11tester.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 24d1739) | patch
cyclegraph: don't delete promise nodes
authorBrian Norris <banorris@uci.edu>
Wed, 6 Feb 2013 22:46:21 +0000 (14:46 -0800)
committerBrian Norris <banorris@uci.edu>
Wed, 6 Feb 2013 22:46:21 +0000 (14:46 -0800)
commita482ef2b49ff9bcae7a6898585409181bce3f02a
tree85ebb6dab1ffc53fe8fed144b03b11bb2ef0f88atree | snapshot
parent24d17393dc45f60f6f6660159f2f329d1cc5d15acommit | diff
cyclegraph: don't delete promise nodes

Merging can fail partway, leaving a somewhat inconsistent graph. This is
safe, since an inconsistent graph must be discarded as infeasible. But
this is a problem when dumping the modification order graph, since we
may dereference freed nodes. So for now, just don't free them.
cyclegraph.cc diff | blob | history
C11 Tester Tool Public Repository