BBS:      TELESC.NET.BR
Assunto:  src/sbbs3/un_qwk.cpp un_rep.cpp
De:       Rob Swindell (on Debian Linux)
Data:     Wed, 6 May 2026 19:41:53 -0700
-----------------------------------------------------------
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 
n
---
  mSynchronetn  hgVertrauen n hHome of Synchronet n gh[vert/cvs/bbs].synchro.net

-----------------------------------------------------------
[Voltar]