Skip to content
Snippets Groups Projects
Commit 954c9235 authored by David Malcolm's avatar David Malcolm
Browse files

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: default avatarDavid Malcolm <dmalcolm@redhat.com>
parent ba998f64
No related branches found
No related tags found
Loading
Loading
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment