From ecc85d3f031926e21746e9019c9419989e517ae6 Mon Sep 17 00:00:00 2001 From: degomme Date: Tue, 19 Apr 2016 11:00:11 +0200 Subject: [PATCH] RMA requests were not marked as detached, causing some bad frees --- src/smpi/smpi_base.cpp | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) 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); -- 2.20.1