From 8dd91b297674117ccfc54e663b37fdf99da0213f Mon Sep 17 00:00:00 2001 From: mquinson Date: Sun, 27 Feb 2005 23:23:53 +0000 Subject: [PATCH 1/1] some splint fixes git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/simgrid/simgrid/trunk@1086 48e7efb5-ca39-0410-a469-dd3cf9ba447f --- src/gras/DataDesc/datadesc.c | 6 +++--- src/gras/DataDesc/datadesc_private.h | 2 +- 2 files changed, 4 insertions(+), 4 deletions(-) diff --git a/src/gras/DataDesc/datadesc.c b/src/gras/DataDesc/datadesc.c index 052790b95e..c16f8e284a 100644 --- a/src/gras/DataDesc/datadesc.c +++ b/src/gras/DataDesc/datadesc.c @@ -13,14 +13,14 @@ XBT_LOG_NEW_DEFAULT_SUBCATEGORY(datadesc,gras,"Data description"); /* FIXME: make this host-dependent using a trick such as UserData*/ -xbt_set_t gras_datadesc_set_local=NULL; +/*@null@*/xbt_set_t gras_datadesc_set_local=NULL; /* callback for array size when sending strings */ static int -_strlen_cb(gras_cbps_t vars, void *data) { +_strlen_cb(/*@unused@*/gras_cbps_t vars, void *data) { - return 1+(long int)strlen(data); + return 1+(int)strlen(data); } diff --git a/src/gras/DataDesc/datadesc_private.h b/src/gras/DataDesc/datadesc_private.h index a4ac142ef1..6864ac3ce4 100644 --- a/src/gras/DataDesc/datadesc_private.h +++ b/src/gras/DataDesc/datadesc_private.h @@ -37,7 +37,7 @@ */ #define aligned(v, a) (((v) + (a - 1)) & ~(a - 1)) -extern xbt_set_t gras_datadesc_set_local; +/*@null@*/extern xbt_set_t gras_datadesc_set_local; void gras_ddt_freev(void *ddt); /******************************************* * Descriptions of all known architectures * -- 2.20.1