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

diff --git a/coregrind/m_libcprint.c b/coregrind/m_libcprint.c
index e4255904051b69952f449169277f814daefac962..a9cc9060ad24bec9dcdc49e945f0e711cab0f986 100644 (file)
--- a/coregrind/m_libcprint.c
+++ b/coregrind/m_libcprint.c
@@ -169,6 +169,8 @@ static void add_to_vg_snprintf_buf ( HChar c, void* p )
       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 */
    } 
 }