From: Gabriel Corona <gabriel.corona@loria.fr>
Date: Wed, 15 Jun 2016 13:00:04 +0000 (+0200)
Subject: [simix] Fix refcount in Mutex
X-Git-Tag: v3_14~987^2~4^2~4
X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/commitdiff_plain/5341c1e69bb03075ba5c9e5d250ed08788f8ba5b?hp=cff96d166c09ca86f6ed3563bb47fbdeddfbc80a

[simix] Fix refcount in Mutex
---

diff --git a/src/simix/smx_synchro_private.h b/src/simix/smx_synchro_private.h
index 802716a13d..21e76b467c 100644
--- a/src/simix/smx_synchro_private.h
+++ b/src/simix/smx_synchro_private.h
@@ -36,13 +36,13 @@ public:
   // boost::intrusive_ptr<Mutex> support:
   friend void intrusive_ptr_add_ref(Mutex* mutex)
   {
-    auto previous = ++mutex->refcount_;
+    auto previous = (mutex->refcount_)++;
     xbt_assert(previous != 0);
     (void) previous;
   }
   friend void intrusive_ptr_release(Mutex* mutex)
   {
-    auto count = mutex->refcount_--;
+    auto count = --(mutex->refcount_);
     if (count == 0)
       delete mutex;
   }