From bcfa334368d90b6e798073a48d3906a6577f4595 Mon Sep 17 00:00:00 2001
From: Martin Quinson <martin.quinson@loria.fr>
Date: Wed, 21 Jun 2017 11:30:55 +0200
Subject: [PATCH] further handle my sonar backlog

---
 include/simgrid/simix.h | 8 --------
 src/simix/ActorImpl.cpp | 4 +++-
 2 files changed, 3 insertions(+), 9 deletions(-)

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");
     }
 
     /*
-- 
2.20.1