commit 8c8306308e05e92de228de57e832c85fb976124b
Author: florian <florian@a5019735-40e9-0310-863c-91ae7b9d1cf9>
Date:   Tue Jan 12 14:32:05 2016 +0000

    VG_(fclose) ought to close the file, you silly. Fixes BZ #357887.
    
    
    git-svn-id: svn://svn.valgrind.org/valgrind/trunk@15755 a5019735-40e9-0310-863c-91ae7b9d1cf9

diff --git a/coregrind/m_libcprint.c b/coregrind/m_libcprint.c
index 1283de5..ce2c038 100644
--- a/coregrind/m_libcprint.c
+++ b/coregrind/m_libcprint.c
@@ -359,6 +359,7 @@ void VG_(fclose)( VgFile *fp )
    if (fp->num_chars)
       VG_(write)(fp->fd, fp->buf, fp->num_chars);
 
+   VG_(close)(fp->fd);
    VG_(free)(fp);
 }