https://gitlab.synchro.net/main/sbbs/-/commit/de5f05837b15d144b2c14b17
Modified Files:
src/sbbs3/un_qwk.cpp un_rep.cpp
Log Message:
un_qwk/un_rep: suppress listFree FORWARD_NULL false-positive (CIDs 631130, 631142)
user_list is zero-initialized as link_list_t{0}. listFree's only
list->sem dereference is gated on (list->flags & LINK_LIST_SEMAPHORE),
which is never set here, so the call is safe. Coverity loses track of
the flag check; document the invariant and suppress the FORWARD_NULL
warning at both call sites.
Co-Authored-By: Claude Opus 4.7 <
noreply@anthropic.com>
---
■ Synchronet ■ Vertrauen ■ Home of Synchronet ■ [vert/cvs/bbs].synchro.net