commit 4152c68c66252c294b3e470caf94acb4283f8040
Author: Richard Heck <[email protected]>
Date:   Sun Jun 12 00:31:33 2016 -0400

    Add comment to fix coverity #111935.

diff --git a/src/BiblioInfo.cpp b/src/BiblioInfo.cpp
index f2bf332..44321bc 100644
--- a/src/BiblioInfo.cpp
+++ b/src/BiblioInfo.cpp
@@ -1060,6 +1060,11 @@ void BiblioInfo::makeCitationLabels(Buffer const & buf)
                        docstring const num = convert<docstring>(++keynumber);
                        entry.setCiteNumber(num);
                } else {
+                       // coverity complains about our derefercing the 
iterator last,
+                       // which was not initialized above. but it does get 
initialized
+                       // after the first time through the loop, which is the 
point of
+                       // the first test.
+                       // coverity[FORWARD_NULL]
                        if (it != cited_entries_.begin()
                            && entry.getAbbreviatedAuthor() == 
last->second.getAbbreviatedAuthor()
                            // we access the year via getYear() so as to get it 
from the xref,

Reply via email to