adding fclose before return

diff --git a/contrib/diagnose_corruption/check_flipped_bits.c b/contrib/diagnose_corruption/check_flipped_bits.c
index 78473ea59f54b4fe98e19bd9880e70cc22d32b79..ed3db57de689eb0460c1d661d650c28047ab8c50 100644 (file)
--- a/contrib/diagnose_corruption/check_flipped_bits.c
+++ b/contrib/diagnose_corruption/check_flipped_bits.c
@@ -105,6 +105,7 @@ static char* readFile(const char* filename, size_t* size) {
   bytes_read = fread(buf, 1, *size, f);
   if (bytes_read != *size) {
     fprintf(stderr, "failed to read whole file\n");
+    fclose(f);
     free(buf);
     return NULL;
   }