commit f4f84ef9a39b71799f86d45320a8ce25c2b9c54a
Author: Jean-Marc Lasgouttes <[email protected]>
Date: Thu Mar 2 15:20:46 2017 +0100
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 files changed, 1 insertions(+), 2 deletions(-)
diff --git a/src/frontends/qt4/GuiWorkArea.cpp
b/src/frontends/qt4/GuiWorkArea.cpp
index 8a02372..bb8de83 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)
