*/
#include "smx_private.hpp"
+#include <simgrid/host.h>
#include <xbt/base.h>
#if SIMGRID_HAVE_MC
#include "src/mc/mc_forward.hpp"
XBT_LOG_EXTERNAL_DEFAULT_CATEGORY(simix_popping);
/** @brief Simcalls' names (generated from src/simix/simcalls.in) */
-const char* simcall_names[] = {
+constexpr std::array<const char*, NUM_SIMCALLS> simcall_names{{
"SIMCALL_NONE",
"SIMCALL_EXECUTION_WAITANY_FOR",
"SIMCALL_COMM_SEND",
"SIMCALL_MC_RANDOM",
"SIMCALL_RUN_KERNEL",
"SIMCALL_RUN_BLOCKING",
-};
+}};
/** @private
* @brief (in kernel mode) unpack the simcall and activate the handler
SIMIX_run_blocking(simgrid::simix::unmarshal<std::function<void()> const*>(simcall_.args_[0]));
break;
- case NUM_SIMCALLS:
- break;
case SIMCALL_NONE:
throw std::invalid_argument(simgrid::xbt::string_printf("Asked to do the noop syscall on %s@%s",
get_cname(),