more allocation fixes (use snapshotting)

[c11tester.git] / action.cc

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