From 50b2bae12a28fe3f4e54269412755ff001db3f99 Mon Sep 17 00:00:00 2001
From: Vitor Santos Costa <vsc@xato.dcc.fc.up.pt>
Date: Wed, 7 Feb 2018 21:39:28 +0000
Subject: [PATCH] 0 length strings,

---
 C/text.c | 12 ++++++++----
 1 file changed, 8 insertions(+), 4 deletions(-)

diff --git a/C/text.c b/C/text.c
index 7e38f1fc7..577a8f39e 100644
--- a/C/text.c
+++ b/C/text.c
@@ -220,7 +220,7 @@ static void *codes2buf(Term t0, void *b0, bool *get_codes USES_REGS) {
   size_t length = 0;
 
   if (t == TermNil) {
-    st0 = malloc(4);
+    st0 = Malloc(4);
     st0[0] = 0;
     return st0;
   }
@@ -522,7 +522,10 @@ static Term write_strings(unsigned char *s0, seq_tv_t *out USES_REGS) {
   Term t = init_tstring(PASS_REGS1);
   LOCAL_TERM_ERROR(t, 2 * max);
   unsigned char *buf = buf_from_tstring(HR);
-  strcpy((char *)buf, s);
+  if (max==0)
+    buf[0] = '\0';
+  else
+    strcpy((char *)buf, s);
   if (max + 1 < min) {
     LOCAL_TERM_ERROR(t, 2 * min);
     memset(buf + min, '\0', max);
@@ -845,10 +848,11 @@ bool Yap_CVT_Text(seq_tv_t *inp, seq_tv_t *out USES_REGS) {
   //  cnt++;
   int l = push_text_stack();
   buf = Yap_readText(inp PASS_REGS);
-  if (!buf || buf[0] == '\0') {
+  if (!buf) {
     pop_text_stack(l);
     return 0L;
   }
+  if (buf[0]) {
   size_t leng = strlen_utf8(buf);
   if (out->type & (YAP_STRING_NCHARS | YAP_STRING_TRUNC)) {
     if (out->max < leng) {
@@ -877,7 +881,7 @@ bool Yap_CVT_Text(seq_tv_t *inp, seq_tv_t *out USES_REGS) {
       }
     }
   }
-
+  }
   rc = write_Text(buf, out PASS_REGS);
   /*    fprintf(stderr, " -> ");
         if (!rc) fprintf(stderr, "NULL");