From: Arnaud Giersch Date: Tue, 18 Sep 2018 13:38:25 +0000 (+0200) Subject: Move check for null pointer before dereference. X-Git-Tag: v3_21~80^2~2 X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/commitdiff_plain/bf065245fc3ed66c5aaf14236aa13d1688591c96 Move check for null pointer before dereference. --- diff --git a/examples/s4u/platform-failures/s4u-platform-failures.cpp b/examples/s4u/platform-failures/s4u-platform-failures.cpp index c7a6378936..f52f8d627c 100644 --- a/examples/s4u/platform-failures/s4u-platform-failures.cpp +++ b/examples/s4u/platform-failures/s4u-platform-failures.cpp @@ -86,8 +86,8 @@ static int worker(int argc, char* argv[]) try { XBT_INFO("Waiting a message on %s", mailbox->get_cname()); payload = static_cast(mailbox->get()); - comp_size = *payload; xbt_assert(payload != nullptr, "mailbox->get() failed"); + comp_size = *payload; if (comp_size < 0) { /* - Exit when -1.0 is received */ XBT_INFO("I'm done. See you!"); delete payload;