[Bug analyzer/110520] -Wanalyzer-null-dereference false negative with `*ptr = 10086`

[cvs-commit at gcc dot gnu.org via Gcc-bugs]

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

--- Comment #3 from GCC Commits <cvs-commit at gcc dot gnu.org> ---
The master branch has been updated by David Malcolm <dmalc...@gcc.gnu.org>:

https://gcc.gnu.org/g:eb37ea529745c38dcf86c3cdbedb66df69ea9e35

commit r14-9075-geb37ea529745c38dcf86c3cdbedb66df69ea9e35
Author: David Malcolm <dmalc...@redhat.com>
Date:   Mon Feb 19 18:07:59 2024 -0500

    analyzer, testsuite: add regression test [PR110520]

    gcc/testsuite/ChangeLog:
            PR analyzer/110520
            * c-c++-common/analyzer/null-deref-pr110520.c: New test.

    Signed-off-by: David Malcolm <dmalc...@redhat.com>