[Bug c++/103233] Warning from system libraries in user code: CWE-476 -Werror=analyzer-null-dereference

[colomar.6.4.3 at gmail dot com]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=103233

--- Comment #1 from Alejandro Colomar <colomar.6.4.3 at gmail dot com> ---
$ cat /etc/os-release 
PRETTY_NAME="Debian GNU/Linux bookworm/sid"
NAME="Debian GNU/Linux"
ID=debian
HOME_URL="https://www.debian.org/"
SUPPORT_URL="https://www.debian.org/support"
BUG_REPORT_URL="https://bugs.debian.org/"



$ dpkg -l "*[cg]++*"
Desired=Unknown/Install/Remove/Purge/Hold
| Status=Not/Inst/Conf-files/Unpacked/halF-conf/Half-inst/trig-aWait/Trig-pend
|/ Err?=(none)/Reinst-required (Status,Err: uppercase=bad)
||/ Name                      Version      Architecture Description
+++-=========================-============-============-===============================================
un  c++-compiler              <none>       <none>       (no description
available)
un  c++abi2-dev               <none>       <none>       (no description
available)
ii  g++                       4:11.2.0-2   amd64        GNU C++ compiler
ii  g++-11                    11.2.0-10    amd64        GNU C++ compiler
un  g++-11-multilib           <none>       <none>       (no description
available)
un  g++-multilib              <none>       <none>       (no description
available)
un  g++-x86-64-linux-gnu      <none>       <none>       (no description
available)
ii  lib32stdc++6              11.2.0-10    amd64        GNU Standard C++
Library v3 (32 bit Version)
un  libg++2.8-dev             <none>       <none>       (no description
available)
un  libg++27-dev              <none>       <none>       (no description
available)
un  libg++272-dev             <none>       <none>       (no description
available)
un  libsigc++-2.0-0c2a        <none>       <none>       (no description
available)
ii  libsigc++-2.0-0v5:amd64   2.10.4-2     amd64        type-safe Signal
Framework for C++ - runtime
ii  libstdc++-10-dev:amd64    10.3.0-12    amd64        GNU Standard C++
Library v3 (development files)
un  libstdc++-10-doc          <none>       <none>       (no description
available)
ii  libstdc++-11-dev:amd64    11.2.0-10    amd64        GNU Standard C++
Library v3 (development files)
un  libstdc++-11-doc          <none>       <none>       (no description
available)
un  libstdc++-dev             <none>       <none>       (no description
available)
un  libstdc++2.10-dev         <none>       <none>       (no description
available)
un  libstdc++2.8-dev          <none>       <none>       (no description
available)
un  libstdc++2.9-dev          <none>       <none>       (no description
available)
un  libstdc++2.9-glibc2.1-dev <none>       <none>       (no description
available)
un  libstdc++3.0-dev          <none>       <none>       (no description
available)
ii  libstdc++6:amd64          11.2.0-10    amd64        GNU Standard C++
Library v3
un  libstdc++6-11-dbg         <none>       <none>       (no description
available)