https://gcc.gnu.org/bugzilla/show_bug.cgi?id=101068
--- Comment #1 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:954c9235297f2e63acacefd448bc5dabe039ea7c commit r12-1479-g954c9235297f2e63acacefd448bc5dabe039ea7c Author: David Malcolm <dmalc...@redhat.com> Date: Tue Jun 15 09:29:23 2021 -0400 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 <dmalc...@redhat.com>