From 74297b96108f3cc626f8f3d333eaa1b02d369917 Mon Sep 17 00:00:00 2001
From: Augustin Degomme <adegomme@users.noreply.github.com>
Date: Sun, 4 Apr 2021 19:13:53 +0200
Subject: [PATCH] check for alloc mem

---
 src/smpi/bindings/smpi_pmpi.cpp | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/smpi/bindings/smpi_pmpi.cpp b/src/smpi/bindings/smpi_pmpi.cpp
index 99501be932..6b1c4dc036 100644
--- a/src/smpi/bindings/smpi_pmpi.cpp
+++ b/src/smpi/bindings/smpi_pmpi.cpp
@@ -214,6 +214,7 @@ int PMPI_Initialized(int* flag) {
 
 int PMPI_Alloc_mem(MPI_Aint size, MPI_Info /*info*/, void* baseptr)
 {
+  CHECK_NEGATIVE(1, MPI_ERR_COUNT, size)
   void *ptr = xbt_malloc(size);
   *static_cast<void**>(baseptr) = ptr;
   return MPI_SUCCESS;
-- 
2.20.1