[Bug analyzer/110521] New: -Wanalyzer-null-dereference false nagetive with `*p = i`

[dale.mengli.ming at proton dot me via Gcc-bugs]

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

            Bug ID: 110521
           Summary: -Wanalyzer-null-dereference false nagetive with `*p =
                    i`
           Product: gcc
           Version: 14.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: analyzer
          Assignee: dmalcolm at gcc dot gnu.org
          Reporter: dale.mengli.ming at proton dot me
  Target Milestone: ---

Hi, in this case (https://godbolt.org/z/azzTd94hz), the `p` is a null poinetr,
but the analyzer doesn't report an NPD with it. When `int array[3] = {0, 0, 0}`
(https://godbolt.org/z/TM7Ws3Gav), the analyzer reports that.