Always ensure that the output buffer is zero-terminated, even if it is
already full.  (Nick N)



git-svn-id: svn://svn.valgrind.org/valgrind/trunk@6417 a5019735-40e9-0310-863c-91ae7b9d1cf9
diff --git a/coregrind/m_libcprint.c b/coregrind/m_libcprint.c
index e425590..a9cc906 100644
--- a/coregrind/m_libcprint.c
+++ b/coregrind/m_libcprint.c
@@ -169,6 +169,8 @@
       b->buf[b->buf_used++] = c;
       if (b->buf_used < b->buf_size)
          b->buf[b->buf_used] = 0;
+      else
+         b->buf[b->buf_size-1] = 0; /* pre: b->buf_size > 0 */
    } 
 }