Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
some splint fixes
[simgrid.git] / src / gras / DataDesc / datadesc_private.h
index 6206440..6864ac3 100644 (file)
@@ -4,11 +4,12 @@
 
 /* module's private interface masked even to other parts of GRAS.           */
 
-/* Authors: Olivier Aumage, Martin Quinson                                  */
-/* Copyright (C) 2003, 2004 the GRAS posse.                                 */
+/* Copyright (c) 2003 Olivier Aumage.                                       */
+/* Copyright (c) 2003, 2004 Martin Quinson.                                 */
+/* All rights reserved.                                                     */
 
 /* This program is free software; you can redistribute it and/or modify it
  under the terms of the license (GNU LGPL) which comes with this package. */
* under the terms of the license (GNU LGPL) which comes with this package. */
 
 #ifndef GRAS_DATADESC_PRIVATE_H
 #define GRAS_DATADESC_PRIVATE_H
  */
 #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 *
  *******************************************/
 
-#define gras_arch_count 6
+#define gras_arch_count 8
 typedef enum {
   gras_ddt_scalar_char      = 0,
   gras_ddt_scalar_short     = 1,