[Bug analyzer/102471] RFE: add support to analyzer testsuite for running SAMATE/SARD tests (e.g. Juliet Test Suite)

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

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

--- Comment #4 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:860c56b5bc356960a4d0445dadc43ceddbe3c7e2

commit r12-5701-g860c56b5bc356960a4d0445dadc43ceddbe3c7e2
Author: David Malcolm <dmalc...@redhat.com>
Date:   Wed Dec 1 14:12:33 2021 -0500

    analyzer: fix false leak seen in Juliet 1.3 [PR102471]

    Juliet 1.3's CWE415_Double_Free__malloc_free_*_67a.c
    were showing leak false positives in non-LTO builds; fixed thusly.

    gcc/analyzer/ChangeLog:
            PR analyzer/102471
            * region-model-reachability.cc (reachable_regions::handle_parm):
            Treat all svalues within a compound parm has reachable, and those
            wrapped in a cast.

    gcc/testsuite/ChangeLog:
            PR analyzer/102471
            * gcc.dg/analyzer/leak-3.c: New test.

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