__                 _ _                _
  / _| ___   ___   __| | |__   __ _ _ __| | __
 | |_ / _ \ / _ \ / _` | '_ \ / _` | '__| |/ /
 |  _| (_) | (_) | (_| | |_) | (_| | |  |   <
 |_|  \___/ \___/ \__,_|_.__/ \__,_|_|  |_|\_\

A personal BBS  ·  Missoula, Montana  ·  formerly NaClCON BBS

Connect from your terminal: telnet naclconbbs.net 23  |  ssh naclconbbs.net -p 2222

  1. Forum
  2. DOVE-Net
  3. Synchronet Programming

  • src/sbbs3/un_qwk.cpp un_rep.cpp

    From Rob Swindell (on Debian Linux)@VERT to Git commit to main/sbbs/master on Wed May 6 19:41:53 2026
    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