Useless cast to void*.

[simgrid.git] / examples / s4u / mc-bugged1 / s4u-mc-bugged1.cpp

diff --git a/examples/s4u/mc-bugged1/s4u-mc-bugged1.cpp b/examples/s4u/mc-bugged1/s4u-mc-bugged1.cpp
index 802403d2e0b01c481c0342115cb479c82e3ad319..e3c390259f98dcbf086f1478b960c7651e4d77b3 100644 (file)
--- a/examples/s4u/mc-bugged1/s4u-mc-bugged1.cpp
+++ b/examples/s4u/mc-bugged1/s4u-mc-bugged1.cpp
@@ -11,23 +11,20 @@
 #include <simgrid/modelchecker.h>
 #include <simgrid/s4u.hpp>
 
-#define N 3
+constexpr int N = 3;
 
 XBT_LOG_NEW_DEFAULT_CATEGORY(example, "this example");
 
 static void server()
 {
-  void* received = nullptr;
-  int count      = 0;
+  std::unique_ptr<int> received;
+  int count     = 0;
   while (count < N) {
-    if (received) {
-      delete static_cast<int*>(received);
-      received = nullptr;
-    }
-    received = simgrid::s4u::Mailbox::by_name("mymailbox")->get();
+    received.reset();
+    received = simgrid::s4u::Mailbox::by_name("mymailbox")->get_unique<int>();
     count++;
   }
-  int value_got = *(static_cast<int*>(received));
+  int value_got = *received;
   MC_assert(value_got == 3);
 
   XBT_INFO("OK");
@@ -35,8 +32,7 @@ static void server()
 
 static void client(int id)
 {
-  int* payload = new int();
-  *payload     = id;
+  auto* payload = new int(id);
   simgrid::s4u::Mailbox::by_name("mymailbox")->put(payload, 10000);
 
   XBT_INFO("Sent!");