From 8a9ea4d264b38ca1734d3ac10a7c519f29416656 Mon Sep 17 00:00:00 2001
From: Jean-Marc Lasgouttes <lasgouttes@lyx.org>
Date: Sat, 25 Feb 2017 00:19:08 +0100
Subject: [PATCH] Initialize properly pointer

Fixes coverity issue 23411
---
 src/support/gzstream.h | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/support/gzstream.h b/src/support/gzstream.h
index d333dd424e..b40e8a18e6 100644
--- a/src/support/gzstream.h
+++ b/src/support/gzstream.h
@@ -57,7 +57,7 @@ private:
 
     int flush_buffer();
 public:
-    gzstreambuf() : opened(0), mode(0) {
+    gzstreambuf() : file(0), opened(0), mode(0) {
         setp( buffer, buffer + (bufferSize-1));
         setg( buffer + 4,     // beginning of putback area
               buffer + 4,     // read position
-- 
2.39.5