https://gcc.gnu.org/bugzilla/show_bug.cgi?id=112528
Bug ID: 112528
Summary: State explosions in
gcc.dg/analyzer/pr93032-mztools-{signed,unsigned}-char
.c when enabling taint checker
Product: gcc
Version: unknown
Status: UNCONFIRMED
Severity: normal
Priority: P3
Component: analyzer
Assignee: dmalcolm at gcc dot gnu.org
Reporter: dmalcolm at gcc dot gnu.org
Target Milestone: ---
The only remaining issue with enabling taint by default in -fanalyzer (bug
103533) seems to be a state explosion in
gcc.dg/analyzer/pr93032-mztools-{signed,unsigned}-char.c, which I can work
around with:
/* { dg-additional-options "--param analyzer-max-enodes-per-program-point=40
--param analyzer-bb-explosion-factor=10" } */
My integration tests don't seem to show any issues with taint enabled, so I'm
filing this bug to track taming this specific state explosion.
See also bug 103521, which also related to these test cases.
