commit a637efca6e94bdf42a493eaf4e58c2e29d24a1a9
Author: Richard Heck <[email protected]>
Date: Sat Jun 11 23:01:21 2016 -0400
Add comment fixing coverity #23351.
diff --git a/src/frontends/qt4/GuiWorkArea.cpp
b/src/frontends/qt4/GuiWorkArea.cpp
index a18294e..4f63d16 100644
--- a/src/frontends/qt4/GuiWorkArea.cpp
+++ b/src/frontends/qt4/GuiWorkArea.cpp
@@ -1981,6 +1981,8 @@ void TabWorkArea::updateTabTexts()
// that it makes the path more unique.
somethingChanged = true;
It sit = segStart;
+ // this is ok for the reason mentioned in the previous
comment.
+ // coverity[INVALIDATE_ITERATOR]
QString dspString = sit->forecastPathString();
LYXERR(Debug::GUI, "first forecast found for "
<< sit->abs() << " => " << dspString);