Parameter for cleanup callback won't be null.

diff --git a/examples/deprecated/msg/platform-failures/platform-failures.c b/examples/deprecated/msg/platform-failures/platform-failures.c
index c199e82..9ce18b4 100644 (file)
--- a/examples/deprecated/msg/platform-failures/platform-failures.c
+++ b/examples/deprecated/msg/platform-failures/platform-failures.c
@@ -13,8 +13,7 @@ XBT_LOG_NEW_DEFAULT_CATEGORY(msg_test, "Messages specific for this msg example")
 
 static void task_cleanup_handler(void* task)
 {
-  if (task)
-    MSG_task_destroy(task);
+  MSG_task_destroy(task);
 }
 
 static int master(int argc, char *argv[])

diff --git a/teshsuite/msg/host_on_off_processes/host_on_off_processes.cpp b/teshsuite/msg/host_on_off_processes/host_on_off_processes.cpp
index 5c52339..b4a467a 100644 (file)
--- a/teshsuite/msg/host_on_off_processes/host_on_off_processes.cpp
+++ b/teshsuite/msg/host_on_off_processes/host_on_off_processes.cpp
@@ -15,8 +15,7 @@ int tasks_done = 0;
 
 static void task_cleanup_handler(void* task)
 {
-  if (task)
-    MSG_task_destroy(static_cast<msg_task_t>(task));
+  MSG_task_destroy(static_cast<msg_task_t>(task));
 }
 
 static int process_daemon(int /*argc*/, char** /*argv*/)