fix deinitialization

mpi/src/starpu_mpi_early_data.c

@@ -50,7 +50,7 @@ void _starpu_mpi_early_data_shutdown(void)
 	struct _starpu_mpi_early_data_handle_hashlist *current, *tmp;
 	HASH_ITER(hh, _starpu_mpi_early_data_handle_hashmap, current, tmp)
 	{
-		_starpu_mpi_early_data_handle_list_delete(&current->list);
+		STARPU_ASSERT(_starpu_mpi_early_data_handle_list_empty(&current->list));
 		HASH_DEL(_starpu_mpi_early_data_handle_hashmap, current);
 		free(current);
 	}

mpi/src/starpu_mpi_early_request.c

@@ -45,8 +45,8 @@ void _starpu_mpi_early_request_shutdown()
 	struct _starpu_mpi_early_request_hashlist *entry, *tmp;
 	HASH_ITER(hh, _starpu_mpi_early_request_hash, entry, tmp)
 	{
+		STARPU_ASSERT(_starpu_mpi_req_list_empty(&entry->list));
 		HASH_DEL(_starpu_mpi_early_request_hash, entry);
-		_starpu_mpi_req_list_delete(&entry->list);
 		free(entry);
 	}
 	STARPU_PTHREAD_MUTEX_DESTROY(&_starpu_mpi_early_request_mutex);

mpi/src/starpu_mpi_sync_data.c

@@ -44,7 +44,7 @@ void _starpu_mpi_sync_data_shutdown(void)
 	struct _starpu_mpi_sync_data_handle_hashlist *current, *tmp;
 	HASH_ITER(hh, _starpu_mpi_sync_data_handle_hashmap, current, tmp)
 	{
-		_starpu_mpi_req_list_delete(&current->list);
+		STARPU_ASSERT(_starpu_mpi_req_list_empty(&current->list));
 		HASH_DEL(_starpu_mpi_sync_data_handle_hashmap, current);
 		free(current);
 	}