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 eb2f0c61f024e64fed76bc85131c47193cfe4d8f..bd9e29fcdda3929c8a18fa539220e73daa1ec3df 100644 (file)
--- 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)