Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
Ensure that only valid simcalls are answered.
authorArnaud Giersch <arnaud.giersch@univ-fcomte.fr>
Fri, 21 Feb 2020 14:01:08 +0000 (15:01 +0100)
committerArnaud Giersch <arnaud.giersch@univ-fcomte.fr>
Fri, 21 Feb 2020 14:11:28 +0000 (15:11 +0100)
src/kernel/actor/ActorImpl.cpp

index c42198b..b8c4318 100644 (file)
@@ -436,6 +436,7 @@ void ActorImpl::simcall_answer()
   if (this != simix_global->maestro_) {
     XBT_DEBUG("Answer simcall %s (%d) issued by %s (%p)", SIMIX_simcall_name(simcall.call_), (int)simcall.call_,
               get_cname(), this);
+    xbt_assert(simcall.call_ != SIMCALL_NONE);
     simcall.call_ = SIMCALL_NONE;
     xbt_assert(not XBT_LOG_ISENABLED(simix_process, xbt_log_priority_debug) ||
                    std::find(begin(simix_global->actors_to_run), end(simix_global->actors_to_run), this) ==