/* Check for deadlocks */
xbt_swag_foreach(process, simix_global->process_list){
- if(process->request && !SIMIX_request_is_enabled(process->request)){
+ /* FIXME: use REQ_NO_REQ instead of NULL for comparison */
+ if(&process->request && !SIMIX_request_is_enabled(&process->request)){
*mc_exp_ctl = MC_DEADLOCK;
return;
}
if(saved_req){
/* because we got a copy of the executed request, we have to fetch the
real one, pointed by the request field of the issuer process */
- req = saved_req->issuer->request;
+ req = &saved_req->issuer->request;
/* Debug information */
if(XBT_LOG_ISENABLED(mc_global, xbt_log_priority_debug)){
if(SIMIX_process_is_enabled(process)
&& !xbt_setset_set_belongs(state->done, process)){
xbt_setset_set_insert(state->done, process);
- return process->request;
+ return &process->request;
}
}
return NULL;
-}
\ No newline at end of file
+}