diff options
| author | David Malcolm <dmalcolm@redhat.com> | 2019-12-19 16:15:09 -0500 |
|---|---|---|
| committer | David Malcolm <dmalcolm@redhat.com> | 2020-09-23 21:25:51 -0400 |
| commit | 6b828f69519a50e6e2961b62ea552bf89d287199 (patch) | |
| tree | 872976c733f31ad9c2e9790ddf21a5eeb9ae3fa3 /gcc/tree-ssa-loop-ch.c | |
| parent | 84fb35466654ec179fa16e718a5014fbe9f41357 (diff) | |
| download | gcc-6b828f69519a50e6e2961b62ea552bf89d287199.zip gcc-6b828f69519a50e6e2961b62ea552bf89d287199.tar.gz gcc-6b828f69519a50e6e2961b62ea552bf89d287199.tar.bz2 | |
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.
Diffstat (limited to 'gcc/tree-ssa-loop-ch.c')
0 files changed, 0 insertions, 0 deletions