From c7d081152701ce55594a9527980cd94891d239d2 Mon Sep 17 00:00:00 2001 From: alegrand Date: Fri, 26 Aug 2005 19:28:58 +0000 Subject: [PATCH 1/1] Additionnal checks for Henri ;) git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/simgrid/simgrid/trunk@1670 48e7efb5-ca39-0410-a469-dd3cf9ba447f --- src/msg/gos.c | 6 ++++++ 1 file changed, 6 insertions(+) diff --git a/src/msg/gos.c b/src/msg/gos.c index 8a74d0f49b..ae67680dd9 100644 --- a/src/msg/gos.c +++ b/src/msg/gos.c @@ -67,6 +67,7 @@ MSG_error_t MSG_task_get_with_time_out(m_task_t * task, e_surf_action_state_t state = SURF_ACTION_NOT_IN_THE_SYSTEM; CHECK_HOST(); + xbt_assert1((channel>=0) && (channel < msg_global->max_channel),"Invalid channel %d",channel); /* Sanity check */ xbt_assert0(task,"Null pointer for the task\n"); @@ -164,6 +165,7 @@ int MSG_task_Iprobe(m_channel_t channel) m_host_t h = NULL; simdata_host_t h_simdata = NULL; + xbt_assert1((channel>=0) && (channel < msg_global->max_channel),"Invalid channel %d",channel); DEBUG2("Probing on channel %d (%s)", channel,h->name); CHECK_HOST(); h = MSG_host_self(); @@ -187,6 +189,7 @@ int MSG_task_probe_from(m_channel_t channel) xbt_fifo_item_t item; m_task_t t; + xbt_assert1((channel>=0) && (channel < msg_global->max_channel),"Invalid channel %d",channel); CHECK_HOST(); h = MSG_host_self(); h_simdata = h->simdata; @@ -210,6 +213,7 @@ MSG_error_t MSG_channel_select_from(m_channel_t channel, double max_duration, int first_time = 1; m_process_t process = MSG_process_self(); + xbt_assert1((channel>=0) && (channel < msg_global->max_channel),"Invalid channel %d",channel); if(PID) { *PID = -1; } @@ -288,6 +292,8 @@ MSG_error_t MSG_task_put(m_task_t task, CHECK_HOST(); + xbt_assert1((channel>=0) && (channel < msg_global->max_channel),"Invalid channel %d",channel); + task_simdata = task->simdata; task_simdata->sender = process; xbt_assert0(task_simdata->using==1,"Gargl!"); -- 2.20.1