From: Brian Norris <banorris@uci.edu>
Date: Sat, 26 May 2012 02:00:37 +0000 (-0700)
Subject: action: use proper location comparison
X-Git-Tag: pldi2013~392^2~25
X-Git-Url: http://demsky.eecs.uci.edu/git/?a=commitdiff_plain;h=99b073e58b66c9df66bbbc7e0396f757bde9e03a;p=model-checker.git

action: use proper location comparison

Now that snapshotting is in place for the initial state, stack allocation is
deterministic across executions, so we can compare stack-allocated addresses
again.
---

diff --git a/action.cc b/action.cc
index eb2f0c6..bd9e29f 100644
--- a/action.cc
+++ b/action.cc
@@ -52,8 +52,7 @@ bool ModelAction::is_release()
 
 bool ModelAction::same_var(ModelAction *act)
 {
-	return true;
-	// TODO: fix stack allocation... return location == act->location;
+	return location == act->location;
 }
 
 bool ModelAction::same_thread(ModelAction *act)