analyzer testsuite: add explode-2a.c [PR101068]
authorDavid Malcolm <dmalcolm@redhat.com>
Tue, 15 Jun 2021 13:29:23 +0000 (09:29 -0400)
committerDavid Malcolm <dmalcolm@redhat.com>
Tue, 15 Jun 2021 13:29:23 +0000 (09:29 -0400)
commit954c9235297f2e63acacefd448bc5dabe039ea7c
treedc7705e9dca9ef58579c04948a660921c924f32f
parentba998f6407ba006a8f8055171ee8e8510f0bc46b
analyzer testsuite: add explode-2a.c [PR101068]

Due to a bug (PR analyzer/101068), the analyzer only explores a limited
subset of the possible paths through gcc.dg/analyzer/explode-2.c,
and this artifically helps stop this testcase from exploding.
I intend to fix this at some point, but for now, this patch adds a
revised test case which captures the effective CFG due to the bug, so
that we explicitly have test coverage for that CFG.

gcc/testsuite/ChangeLog:
PR analyzer/101068
* gcc.dg/analyzer/explode-2a.c: New test.

Signed-off-by: David Malcolm <dmalcolm@redhat.com>
gcc/testsuite/gcc.dg/analyzer/explode-2a.c [new file with mode: 0644]