From: degomme Date: Tue, 19 Apr 2016 09:00:11 +0000 (+0200) Subject: RMA requests were not marked as detached, causing some bad frees X-Git-Tag: v3_13~61 X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/commitdiff_plain/ecc85d3f031926e21746e9019c9419989e517ae6 RMA requests were not marked as detached, causing some bad frees --- diff --git a/src/smpi/smpi_base.cpp b/src/smpi/smpi_base.cpp index afca679fc6..703905fc04 100644 --- a/src/smpi/smpi_base.cpp +++ b/src/smpi/smpi_base.cpp @@ -448,8 +448,8 @@ void smpi_mpi_start(MPI_Request request) } void* buf = request->buf; - if ( (! (request->flags & SSEND)) && - (static_cast(request->size) < xbt_cfg_get_int("smpi/send_is_detached_thresh"))) { + if ( (! (request->flags & SSEND)) && ((request->flags & RMA) || + (static_cast(request->size) < xbt_cfg_get_int("smpi/send_is_detached_thresh")))) { void *oldbuf = NULL; request->detached = 1; XBT_DEBUG("Send request %p is detached", request);