https://gcc.gnu.org/bugzilla/show_bug.cgi?id=95000
--- Comment #7 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:d1d95846e3c901faea6fe36a36e47b9169f5b133 commit r12-7659-gd1d95846e3c901faea6fe36a36e47b9169f5b133 Author: David Malcolm <dmalc...@redhat.com> Date: Tue Mar 15 17:56:29 2022 -0400 analyzer: add test coverage for PR 95000 PR analyzer/95000 isn't fixed yet; add test coverage with XFAILs. gcc/testsuite/ChangeLog: PR analyzer/95000 * gcc.dg/analyzer/pr95000-1.c: New test. Signed-off-by: David Malcolm <dmalc...@redhat.com>