Hi, On Wed, Sep 9, 2026 at 12:38 PM Mark Thomas <[email protected]> wrote:
> On 09/09/2026 00:44, Fatima Qaisar wrote: > > CID 912769 - False Positive > > > > The session instanceof ClusterSession cses check returns false when > session > > is null, so cses.isPrimarySession() cannot be reached with cses being > null. > > Thanks. I've marked that one as a false positive. > OK, great. Here is another similar one: CID 913377 - also a false positive. nestedSequenceEndPositions is an ArrayDeque, which does not permit null elements. Since the preceding isEmpty() check guarantees the deque is non-empty, peekLast() cannot return null. > Coverity scan doesn't understand the "instanceof" operator so there are > probably a number of false positives with an identical root cause that > should be fairly quick to identify. If you want to tackle these > together, feel free to just provide a list of CIDs and I can mark them > all as false positives. > I had a look at the issues list and it appears that the majority of these issues had already been resolved. CID 913377 is the only other issue related to NPE. I'll try to batch issues later on to prevent this becoming a ~70 something emails long thread though :) Regards, Fatima
