https://gcc.gnu.org/bugzilla/show_bug.cgi?id=108045
--- 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:129664c67b774511b53bfeee9e80a142ae7cd026 commit r13-6640-g129664c67b774511b53bfeee9e80a142ae7cd026 Author: David Malcolm <dmalc...@redhat.com> Date: Mon Mar 13 14:53:04 2023 -0400 testsuite: add test coverage for PR analyzer/108045 PR analyzer/108045 reports a leak false positive from -fanalyzer. The false +ve as reported seems to have been fixed by r13-6589-g14f5e56a8a766c, but with -fanalyzer-call-summaries there are two additional false +ves which aren't fixed by that commit. This patch adds test coverage for these cases. gcc/testsuite/ChangeLog: PR analyzer/108045 * gcc.dg/analyzer/leak-pr108045-with-call-summaries.c: New test. * gcc.dg/analyzer/leak-pr108045-without-call-summaries.c: New test. Signed-off-by: David Malcolm <dmalc...@redhat.com>
