From 5b7cd081428d15ff59fbf9252df86dbd1709457f Mon Sep 17 00:00:00 2001
From: Brian Demsky <bdemsky@uci.edu>
Date: Mon, 16 Jul 2012 16:24:53 -0700
Subject: [PATCH] no need to store into the object field...  this will probably
 just lead to weird bugs in the future where people wrongly assume reasonable
 values in the field...

---
 libatomic.cc | 2 --
 1 file changed, 2 deletions(-)

diff --git a/libatomic.cc b/libatomic.cc
index 4d2ec553..a7b1fd67 100644
--- a/libatomic.cc
+++ b/libatomic.cc
@@ -5,7 +5,6 @@
 void atomic_store_explicit(struct atomic_object *obj, int value, memory_order order)
 {
 	DBG();
-	obj->value = value;
 	model->switch_to_master(new ModelAction(ATOMIC_WRITE, order, obj, value));
 }
 
@@ -19,6 +18,5 @@ int atomic_load_explicit(struct atomic_object *obj, memory_order order)
 void atomic_init(struct atomic_object *obj, int value)
 {
 	DBG();
-	obj->value = value;
 	model->switch_to_master(new ModelAction(ATOMIC_INIT, memory_order_relaxed, obj, value));
 }
-- 
2.34.1