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);

Reply via email to