[Bug analyzer/97072] -Wanalyzer-malloc-leak false positive when writing through some pointers

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

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

--- Comment #1 from CVS 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:ac3966e315ada63eb379d560a012fa77c3909155

commit r11-6497-gac3966e315ada63eb379d560a012fa77c3909155
Author: David Malcolm <dmalc...@redhat.com>
Date:   Tue Jan 5 20:54:50 2021 -0500

    analyzer: fix false leaks when writing through unknown ptrs [PR97072]

    gcc/analyzer/ChangeLog:
            PR analyzer/97072
            * region-model-reachability.cc (reachable_regions::init_cluster):
            Convert symbolic region handling to a switch statement.  Add cases
            to handle SK_UNKNOWN and SK_CONJURED.

    gcc/testsuite/ChangeLog:
            PR analyzer/97072
            * gcc.dg/analyzer/pr97072.c: New test.