https://gcc.gnu.org/bugzilla/show_bug.cgi?id=93355
--- Comment #3 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:6b828f69519a50e6e2961b62ea552bf89d287199 commit r11-3415-g6b828f69519a50e6e2961b62ea552bf89d287199 Author: David Malcolm <dmalc...@redhat.com> Date: Thu Dec 19 16:15:09 2019 -0500 analyzer: add testcases for PR 93355 (intl/localealias.c leak) PR analyzer/93355 reports a missing diagnostic about a FILE leak in intl/localealias.c. This appears to be due to a issue in the feasibility-checking code, though there is also a state explosion. This patch adds test cases that I've been using when investigating this, two of them currently requiring -fno-analyzer-feasibility, and one currently requiring -Wno-analyzer-too-complex. gcc/testsuite/ChangeLog: PR analyzer/93355 * gcc.dg/analyzer/pr93355-localealias-feasibility.c: New test. * gcc.dg/analyzer/pr93355-localealias-simplified.c: New test. * gcc.dg/analyzer/pr93355-localealias.c: New test.
