- if((MC_is_active() || MC_record_replay_is_active()) && (*request)->action) {
- simgrid::simix::Comm *comm = dynamic_cast<simgrid::simix::Comm*>( (*request)->action );
-
- comm->dst_data = NULL; // dangling pointer: dst_data is freed with a wait, need to set it to NULL for system state comparison
- }
- }
-