diff options
| author | David Malcolm <dmalcolm@redhat.com> | 2021-02-01 21:52:41 -0500 |
|---|---|---|
| committer | David Malcolm <dmalcolm@redhat.com> | 2021-02-01 21:52:41 -0500 |
| commit | f2f639c4a781016ad146d44f463714fe4295cb6e (patch) | |
| tree | cfecb2b8b2191a311b99094f24b5fa1bd6182b3c /gcc/expr.c | |
| parent | 6a481021a65d6237b0c509a76fcd9c1f32c4558e (diff) | |
| download | gcc-f2f639c4a781016ad146d44f463714fe4295cb6e.zip gcc-f2f639c4a781016ad146d44f463714fe4295cb6e.tar.gz gcc-f2f639c4a781016ad146d44f463714fe4295cb6e.tar.bz2 | |
analyzer: add more feasibility test cases [PR93355,PR96374]
This patch adds a couple more reduced test cases derived from the
integration test for PR analyzer/93355. In both cases, the analyzer
falsely rejects the buggy code paths as being infeasible due to
PR analyzer/96374, and so the tests are marked as XFAIL for now.
gcc/testsuite/ChangeLog:
PR analyzer/93355
PR analyzer/96374
* gcc.dg/analyzer/pr93355-localealias-feasibility-2.c: New test.
* gcc.dg/analyzer/pr93355-localealias-feasibility-3.c: New test.
Diffstat (limited to 'gcc/expr.c')
0 files changed, 0 insertions, 0 deletions