From: Christian Heinrich <christian.heinrich@livando.com>
Date: Wed, 18 Mar 2015 17:32:10 +0000 (+0100)
Subject: Added xbt_assert statement to smpi_mpi_dt.c
X-Git-Tag: v3_12~682
X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/commitdiff_plain/421c31008bb00af543930a0205872f5b8db7f129

Added xbt_assert statement to smpi_mpi_dt.c

* This will help prevent a value <= 0
---

diff --git a/src/smpi/smpi_mpi_dt.c b/src/smpi/smpi_mpi_dt.c
index 8746df92a6..dd279e64b1 100644
--- a/src/smpi/smpi_mpi_dt.c
+++ b/src/smpi/smpi_mpi_dt.c
@@ -406,6 +406,7 @@ void smpi_datatype_create(MPI_Datatype* new_type, int size,int lb, int ub, int h
 }
 
 void smpi_datatype_free(MPI_Datatype* type){
+  xbt_assert((*type)->in_use >= 0);
   if((*type)->attributes !=NULL){
       xbt_dict_cursor_t cursor = NULL;
       int* key;