move some content to the SynchroRaw dtor

diff --git a/src/simix/SynchroRaw.cpp b/src/simix/SynchroRaw.cpp
index 872cf47..3bb881d 100644 (file)
--- a/src/simix/SynchroRaw.cpp
+++ b/src/simix/SynchroRaw.cpp
@@ -9,6 +9,10 @@
 
 XBT_LOG_EXTERNAL_DEFAULT_CATEGORY(simix_synchro);
 
+simgrid::simix::Raw::~Raw()
+{
+  sleep->unref();
+}
 void simgrid::simix::Raw::suspend()
 {
   /* The suspension of raw synchros is delayed to when the process is rescheduled. */

diff --git a/src/simix/SynchroRaw.hpp b/src/simix/SynchroRaw.hpp
index 3c920fa..7086bd3 100644 (file)
--- a/src/simix/SynchroRaw.hpp
+++ b/src/simix/SynchroRaw.hpp
@@ -15,6 +15,7 @@ namespace simix {
   /** Used to implement mutexes, semaphores and conditions */
   XBT_PUBLIC_CLASS Raw : public Synchro {
   public:
+    ~Raw();
     void suspend() override;
     void resume() override;
     void post() override;

diff --git a/src/simix/smx_synchro.cpp b/src/simix/smx_synchro.cpp
index 442695e..cb9212a 100644 (file)
--- a/src/simix/smx_synchro.cpp
+++ b/src/simix/smx_synchro.cpp
@@ -69,7 +69,6 @@ void SIMIX_synchro_destroy(smx_synchro_t synchro)
   XBT_DEBUG("Destroying synchro %p", synchro);
   simgrid::simix::Raw *raw = static_cast<simgrid::simix::Raw*>(synchro);
 
-  raw->sleep->unref();
   delete raw;
 }