The impossible might be possible sometimes, actually

diff --git a/src/simix/smx_host.c b/src/simix/smx_host.c
index fa2d965..7eac4a4 100644 (file)
--- a/src/simix/smx_host.c
+++ b/src/simix/smx_host.c
@@ -364,7 +364,8 @@ void SIMIX_execution_finish(smx_action_t action)
        break;
 
       default:
        break;
 
       default:

-        THROW_IMPOSSIBLE;
+        xbt_die("Internal error in SIMIX_execution_finish: unexpected action state %d",
+            action->state);

     }
     req->issuer->waiting_action = NULL;
     req->host_execution_wait.result = action->state;
     }
     req->issuer->waiting_action = NULL;
     req->host_execution_wait.result = action->state;

diff --git a/src/simix/smx_process.c b/src/simix/smx_process.c
index 366cc77..0e8d20a 100644 (file)
--- a/src/simix/smx_process.c
+++ b/src/simix/smx_process.c
@@ -327,7 +327,7 @@ void SIMIX_process_suspend(smx_process_t process, smx_process_t issuer)
   process->suspended = 1;
 
   /* If we are suspending another process, and it is waiting on an action,
   process->suspended = 1;
 
   /* If we are suspending another process, and it is waiting on an action,

-     suspend it's action. */
+     suspend its action. */

   if (process != issuer) {
 
     if (process->waiting_action) {
   if (process != issuer) {
 
     if (process->waiting_action) {


@@ -348,7 +348,8 @@ void SIMIX_process_suspend(smx_process_t process, smx_process_t issuer)
           break;
 
         default:
           break;
 
         default:

-          THROW_IMPOSSIBLE;
+          xbt_die("Internal error in SIMIX_process_suspend: unexpected action type %d",
+              process->waiting_action->type);

       }
     }
   }
       }
     }
   }


@@ -387,7 +388,8 @@ void SIMIX_process_resume(smx_process_t process, smx_process_t issuer)
           break;
 
         default:
           break;
 
         default:

-          THROW_IMPOSSIBLE;
+          xbt_die("Internal error in SIMIX_process_resume: unexpected action type %d",
+              process->waiting_action->type);

       }
     }
     else {
       }
     }
     else {