From f4f84ef9a39b71799f86d45320a8ce25c2b9c54a Mon Sep 17 00:00:00 2001
From: Jean-Marc Lasgouttes <lasgouttes@lyx.org>
Date: Thu, 2 Mar 2017 15:20:46 +0100
Subject: [PATCH] Initialisize properly member variables

Instead of using a coverity annotation (that does not work) it is
better to really iinitialize the members of the object, just in case
somebody decides to actually use the DisplayPath() constructor.
---
 src/frontends/qt4/GuiWorkArea.cpp | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

diff --git a/src/frontends/qt4/GuiWorkArea.cpp b/src/frontends/qt4/GuiWorkArea.cpp
index 8a023726b2..bb8de83dc0 100644
--- a/src/frontends/qt4/GuiWorkArea.cpp
+++ b/src/frontends/qt4/GuiWorkArea.cpp
@@ -1853,8 +1853,7 @@ void TabWorkArea::closeTab(int index)
 class DisplayPath {
 public:
 	/// make vector happy
-	// coverity[UNINIT_CTOR]
-	DisplayPath() {}
+	DisplayPath() : tab_(-1), dottedPrefix_(false) {}
 	///
 	DisplayPath(int tab, FileName const & filename)
 		: tab_(tab)
-- 
2.39.2