From: Brian Norris <banorris@uci.edu>
Date: Tue, 2 Oct 2012 18:02:46 +0000 (-0700)
Subject: model: fix "earliest diverge" NULL pointer exception
X-Git-Tag: pldi2013~127
X-Git-Url: http://demsky.eecs.uci.edu/git/?a=commitdiff_plain;h=0a343dd204223d7351aa709039cf7b1564a038b6;p=model-checker.git

model: fix "earliest diverge" NULL pointer exception
---

diff --git a/model.cc b/model.cc
index 1598fb9..ae0a787 100644
--- a/model.cc
+++ b/model.cc
@@ -183,7 +183,10 @@ bool ModelChecker::next_execution()
 	num_executions++;
 	if (isfinalfeasible()) {
 		printf("Earliest divergence point since last feasible execution:\n");
-		earliest_diverge->print();
+		if (earliest_diverge)
+			earliest_diverge->print();
+		else
+			printf("(Not set)\n");
 
 		earliest_diverge = NULL;
 		num_feasible_executions++;