From: Martin Quinson <martin.quinson@loria.fr>
Date: Wed, 21 Jun 2017 09:30:55 +0000 (+0200)
Subject: further handle my sonar backlog
X-Git-Tag: v3.16~7
X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/commitdiff_plain/bcfa334368d90b6e798073a48d3906a6577f4595?hp=b2a3f8a52fb76a242568854d2212db216bd77120

further handle my sonar backlog
---

diff --git a/include/simgrid/simix.h b/include/simgrid/simix.h
index 6c74149d4a..b464cf1123 100644
--- a/include/simgrid/simix.h
+++ b/include/simgrid/simix.h
@@ -26,14 +26,6 @@ namespace context {
 
   namespace simix {
 
-  /** @brief Process datatype
-      @ingroup simix_process_management
-
-      A process may be defined as a <em>code</em>, with some <em>private
-      data</em>, executing in a <em>location</em>.
-      \see m_process_management
-    @{ */
-  class ActorImpl;
   class MutexImpl;
 }
 }
diff --git a/src/simix/ActorImpl.cpp b/src/simix/ActorImpl.cpp
index e57bd31193..d4b3934ff4 100644
--- a/src/simix/ActorImpl.cpp
+++ b/src/simix/ActorImpl.cpp
@@ -433,7 +433,7 @@ void SIMIX_process_kill(smx_actor_t process, smx_actor_t issuer) {
         boost::dynamic_pointer_cast<simgrid::kernel::activity::IoImpl>(process->waiting_synchro);
 
     if (exec != nullptr) {
-
+      /* Nothing to do */
     } else if (comm != nullptr) {
       process->comms.remove(process->waiting_synchro);
       comm->cancel();
@@ -449,6 +449,8 @@ void SIMIX_process_kill(smx_actor_t process, smx_actor_t issuer) {
 
     } else if (io != nullptr) {
       SIMIX_io_destroy(process->waiting_synchro);
+    } else {
+      xbt_die("Unknown type of activity");
     }
 
     /*