https://gcc.gnu.org/bugzilla/show_bug.cgi?id=103521
Bug ID: 103521
Summary: [12 regression] gcc.dg/analyzer/pr93032-mztools.c
broken after r12-5585
Product: gcc
Version: 12.0
Status: UNCONFIRMED
Severity: normal
Priority: P3
Component: analyzer
Assignee: dmalcolm at gcc dot gnu.org
Reporter: seurer at gcc dot gnu.org
Target Milestone: ---
g:132902177138c09803d639e12b1daebf2b9edddc, r12-5585
make -k check-gcc
RUNTESTFLAGS="analyzer.exp=gcc.dg/analyzer/pr93032-mztools.c"
FAIL: gcc.dg/analyzer/pr93032-mztools.c leak of fpZip (test for warnings, line
328)
FAIL: gcc.dg/analyzer/pr93032-mztools.c leak of fpOut (test for warnings, line
328)
FAIL: gcc.dg/analyzer/pr93032-mztools.c leak of fpOutCD (test for warnings,
line 328)
FAIL: gcc.dg/analyzer/pr93032-mztools.c (test for excess errors)
# of unexpected failures 4
commit 132902177138c09803d639e12b1daebf2b9edddc (HEAD, refs/bisect/bad)
Author: David Malcolm <dmalc...@redhat.com>
Date: Mon Nov 29 11:47:47 2021 -0500
analyzer: further false leak fixes due to overzealous state merging
[PR103217]
spawn -ignore SIGHUP /home3/seurer/gcc/git/build/gcc-test/gcc/xgcc
-B/home3/seurer/gcc/git/build/gcc-test/gcc/
/home/seurer/gcc/git/gcc-test/gcc/testsuite/gcc.dg/analyzer/pr93032-mztools.c
-fdiagnostics-plain-output -fanalyzer -Wanalyzer-too-complex
-fanalyzer-call-summaries -S -o pr93032-mztools.s
/home/seurer/gcc/git/gcc-test/gcc/testsuite/gcc.dg/analyzer/pr93032-mztools.c:
In function 'unzRepair':
/home/seurer/gcc/git/gcc-test/gcc/testsuite/gcc.dg/analyzer/pr93032-mztools.c:174:15:
warning: terminating analysis for this program point: callstring: [] before
(SN: 34 stmt: 0): free (data_386);EN: 164-166, EN: 391, EN: 587-588, EN: 753,
EN: 949 [-Wanalyzer-too-complex]
/home/seurer/gcc/git/gcc-test/gcc/testsuite/gcc.dg/analyzer/pr93032-mztools.c:157:15:
warning: terminating analysis for this program point: callstring: [] before
(SN: 25 stmt: 0): dataSize_383 = (int) cpsize_361;EN: 96-97, EN: 357, EN:
519-520, EN: 719, EN: 881-882 [-Wanalyzer-too-complex]
/home/seurer/gcc/git/gcc-test/gcc/testsuite/gcc.dg/analyzer/pr93032-mztools.c:261:11:
warning: terminating analysis for this program point: callstring: [] before
(SN: 56 stmt: 0): entriesZip_459 = entries_306;EN: 1107-1114
[-Wanalyzer-too-complex]
/home/seurer/gcc/git/gcc-test/gcc/testsuite/gcc.dg/analyzer/pr93032-mztools.c:299:31:
warning: terminating analysis for this program point: callstring: [] before
(SN: 68 stmt: 0): _295 = fread (&buffer, 1, 8192, fpOutCD_492);EN: 1268-1272,
EN: 1284, EN: 1291, EN: 1298 [-Wanalyzer-too-complex]
/home/seurer/gcc/git/gcc-test/gcc/testsuite/gcc.dg/analyzer/pr93032-mztools.c:299:31:
warning: terminating analysis for this program point: callstring: [] before
(SN: 68 stmt: 0): _295 = fread (&buffer, 1, 8192, fpOutCD_492);EN: 1268-1272,
EN: 1284, EN: 1291, EN: 1298 [-Wanalyzer-too-complex]
/home/seurer/gcc/git/gcc-test/gcc/testsuite/gcc.dg/analyzer/pr93032-mztools.c:
At top level:
/home/seurer/gcc/git/gcc-test/gcc/testsuite/gcc.dg/analyzer/pr93032-mztools.c:322:25:
warning: analysis bailed out early (401 'after-snode' enodes; 1440 enodes)
[-Wanalyzer-too-complex]
FAIL: gcc.dg/analyzer/pr93032-mztools.c leak of fpZip (test for warnings, line
328)
FAIL: gcc.dg/analyzer/pr93032-mztools.c leak of fpOut (test for warnings, line
328)
FAIL: gcc.dg/analyzer/pr93032-mztools.c leak of fpOutCD (test for warnings,
line 328)
Executing on host: /home3/seurer/gcc/git/build/gcc-test/gcc/xgcc
-B/home3/seurer/gcc/git/build/gcc-test/gcc/ exceptions_enabled349827.cc
-fdiagnostics-plain-output -S -o exceptions_enabled349827.s (timeout = 300)
spawn -ignore SIGHUP /home3/seurer/gcc/git/build/gcc-test/gcc/xgcc
-B/home3/seurer/gcc/git/build/gcc-test/gcc/ exceptions_enabled349827.cc
-fdiagnostics-plain-output -S -o exceptions_enabled349827.s
FAIL: gcc.dg/analyzer/pr93032-mztools.c (test for excess errors)
Excess errors:
/home/seurer/gcc/git/gcc-test/gcc/testsuite/gcc.dg/analyzer/pr93032-mztools.c:174:15:
warning: terminating analysis for this program point: callstring: [] before
(SN: 34 stmt: 0): free (data_386);EN: 164-166, EN: 391, EN: 587-588, EN: 753,
EN: 949 [-Wanalyzer-too-complex]
/home/seurer/gcc/git/gcc-test/gcc/testsuite/gcc.dg/analyzer/pr93032-mztools.c:157:15:
warning: terminating analysis for this program point: callstring: [] before
(SN: 25 stmt: 0): dataSize_383 = (int) cpsize_361;EN: 96-97, EN: 357, EN:
519-520, EN: 719, EN: 881-882 [-Wanalyzer-too-complex]
/home/seurer/gcc/git/gcc-test/gcc/testsuite/gcc.dg/analyzer/pr93032-mztools.c:261:11:
warning: terminating analysis for this program point: callstring: [] before
(SN: 56 stmt: 0): entriesZip_459 = entries_306;EN: 1107-1114
[-Wanalyzer-too-complex]
/home/seurer/gcc/git/gcc-test/gcc/testsuite/gcc.dg/analyzer/pr93032-mztools.c:299:31:
warning: terminating analysis for this program point: callstring: [] before
(SN: 68 stmt: 0): _295 = fread (&buffer, 1, 8192, fpOutCD_492);EN: 1268-1272,
EN: 1284, EN: 1291, EN: 1298 [-Wanalyzer-too-complex]
/home/seurer/gcc/git/gcc-test/gcc/testsuite/gcc.dg/analyzer/pr93032-mztools.c:299:31:
warning: terminating analysis for this program point: callstring: [] before
(SN: 68 stmt: 0): _295 = fread (&buffer, 1, 8192, fpOutCD_492);EN: 1268-1272,
EN: 1284, EN: 1291, EN: 1298 [-Wanalyzer-too-complex]
/home/seurer/gcc/git/gcc-test/gcc/testsuite/gcc.dg/analyzer/pr93032-mztools.c:322:25:
warning: analysis bailed out early (401 'after-snode' enodes; 1440 enodes)
[-Wanalyzer-too-complex]
