From: Arnaud Giersch <arnaud.giersch@iut-bm.univ-fcomte.fr>
Date: Tue, 23 Oct 2012 14:30:58 +0000 (+0200)
Subject: Regenerate with latest flexml.
X-Git-Tag: v3_8~18^2~3
X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/commitdiff_plain/ccf9494d0809595268bedd4ad7f962ddb24ce6a0

Regenerate with latest flexml.
---

diff --git a/src/simdag/dax_dtd.c b/src/simdag/dax_dtd.c
index f0eae8158a..29c6072438 100644
--- a/src/simdag/dax_dtd.c
+++ b/src/simdag/dax_dtd.c
@@ -1498,13 +1498,24 @@ static int ck_ilimit()
 #ifdef FLEXML_NEED_BUFFERLIT
 static void dax__bufferliteral(char c, int* pp, const char* text)
 {
-  const char *s = (c ? strchr(text,c) : text-1), *e = strrchr(text,c);
-  assert(s <= e); BUFFERSET(*pp);
-  while (++s<e) {
-    if (isspace(*s) && c) { BUFFERPUTC(' '); while (isspace(*s)) ++s; }
-    else BUFFERPUTC(*s);
-  }
-  BUFFERDONE;
+   BUFFERSET(*pp);
+   if (c) {
+      const char *s = strchr(text, c), *e = strrchr(text, c);
+      assert(s && e && s <= e);
+      ++s;
+      while (s < e) {
+	 if (isspace(*s)) {
+	    BUFFERPUTC(' ');
+	    do ++s; while (s < e && isspace(*s));
+	 } else
+	   BUFFERPUTC(*s++);
+      }
+   } else {
+      const char *s = text;
+      while (*s)
+	BUFFERPUTC(*s++);
+   }
+   BUFFERDONE;
 }
 #endif
 
diff --git a/src/surf/simgrid_dtd.c b/src/surf/simgrid_dtd.c
index b5307d246b..9e8ceffaf6 100644
--- a/src/surf/simgrid_dtd.c
+++ b/src/surf/simgrid_dtd.c
@@ -4847,13 +4847,24 @@ static int ck_ilimit()
 #ifdef FLEXML_NEED_BUFFERLIT
 static void surfxml_bufferliteral(char c, int* pp, const char* text)
 {
-  const char *s = (c ? strchr(text,c) : text-1), *e = strrchr(text,c);
-  assert(s <= e); BUFFERSET(*pp);
-  while (++s<e) {
-    if (isspace(*s) && c) { BUFFERPUTC(' '); while (isspace(*s)) ++s; }
-    else BUFFERPUTC(*s);
-  }
-  BUFFERDONE;
+   BUFFERSET(*pp);
+   if (c) {
+      const char *s = strchr(text, c), *e = strrchr(text, c);
+      assert(s && e && s <= e);
+      ++s;
+      while (s < e) {
+	 if (isspace(*s)) {
+	    BUFFERPUTC(' ');
+	    do ++s; while (s < e && isspace(*s));
+	 } else
+	   BUFFERPUTC(*s++);
+      }
+   } else {
+      const char *s = text;
+      while (*s)
+	BUFFERPUTC(*s++);
+   }
+   BUFFERDONE;
 }
 #endif
 
diff --git a/src/xbt/graphxml.c b/src/xbt/graphxml.c
index c3353c3761..905fc9edb6 100644
--- a/src/xbt/graphxml.c
+++ b/src/xbt/graphxml.c
@@ -1257,13 +1257,24 @@ static int ck_ilimit()
 #ifdef FLEXML_NEED_BUFFERLIT
 static void graphxml_bufferliteral(char c, int* pp, const char* text)
 {
-  const char *s = (c ? strchr(text,c) : text-1), *e = strrchr(text,c);
-  assert(s <= e); BUFFERSET(*pp);
-  while (++s<e) {
-    if (isspace(*s) && c) { BUFFERPUTC(' '); while (isspace(*s)) ++s; }
-    else BUFFERPUTC(*s);
-  }
-  BUFFERDONE;
+   BUFFERSET(*pp);
+   if (c) {
+      const char *s = strchr(text, c), *e = strrchr(text, c);
+      assert(s && e && s <= e);
+      ++s;
+      while (s < e) {
+	 if (isspace(*s)) {
+	    BUFFERPUTC(' ');
+	    do ++s; while (s < e && isspace(*s));
+	 } else
+	   BUFFERPUTC(*s++);
+      }
+   } else {
+      const char *s = text;
+      while (*s)
+	BUFFERPUTC(*s++);
+   }
+   BUFFERDONE;
 }
 #endif