From: Brian Norris <banorris@uci.edu>
Date: Tue, 12 Feb 2013 18:26:10 +0000 (-0800)
Subject: action: bugfix - initialize member
X-Git-Tag: oopsla2013~267
X-Git-Url: http://demsky.eecs.uci.edu/git/?p=model-checker.git;a=commitdiff_plain;h=69a103256c5625ab2d9a472bdf060b31cea3ec0b

action: bugfix - initialize member
---

diff --git a/action.cc b/action.cc
index 2fb498f..72ca472 100644
--- a/action.cc
+++ b/action.cc
@@ -31,6 +31,7 @@ ModelAction::ModelAction(action_type_t type, memory_order order, void *loc,
 	location(loc),
 	value(value),
 	reads_from(NULL),
+	reads_from_promise(NULL),
 	last_fence_release(NULL),
 	node(NULL),
 	seq_number(ACTION_INITIAL_CLOCK),