https://gcc.gnu.org/bugzilla/show_bug.cgi?id=124065
Bug ID: 124065
Summary: [15 Regression] gcc.dg/analyzer/zlib-3.c fails bogus
message test
Product: gcc
Version: 15.2.0
Status: UNCONFIRMED
Severity: normal
Priority: P3
Component: analyzer
Assignee: dmalcolm at gcc dot gnu.org
Reporter: azoff at gcc dot gnu.org
Target Milestone: ---
After r15-10673-ge869244a134c84, the test case gcc.dg/analyzer/zlib-3.c no
longer generates the expected warning on line 187.
Should line 187 generate the warning or should the { xfail *-*-* } selector be
removed?
Testing analyzer/zlib-3.c
doing compile
Executing on host: /build/r15-10798-gae573c9d0e7f1c/bin/arm-none-eabi-gcc
/build/gcc_src/gcc/testsuite/gcc.dg/analyzer/zlib-3.c -mthumb -march=armv6s-m
-mtune=cortex-m0 -mfloat-abi=soft -fdiagnostics-plain-output -fanalyzer
-Wanalyzer-too-complex -Wanalyzer-symbol-too-complex -fanalyzer-call-summaries
-O3 -Wno-analyzer-too-complex -S -o zlib-3.s (timeout = 800)
spawn -ignore SIGHUP /build/r15-10798-gae573c9d0e7f1c/bin/arm-none-eabi-gcc
/build/gcc_src/gcc/testsuite/gcc.dg/analyzer/zlib-3.c -mthumb -march=armv6s-m
-mtune=cortex-m0 -mfloat-abi=soft -fdiagnostics-plain-output -fanalyzer
-Wanalyzer-too-complex -Wanalyzer-symbol-too-complex -fanalyzer-call-summaries
-O3 -Wno-analyzer-too-complex -S -o zlib-3.s
pid is 25994 -25994
/build/gcc_src/gcc/testsuite/gcc.dg/analyzer/zlib-3.c: In function
'huft_build':
/build/gcc_src/gcc/testsuite/gcc.dg/analyzer/zlib-3.c:182:14: warning: use of
uninitialized value 'r.base' [CWE-457] [-Wanalyzer-use-of-uninitialized-value]
/build/gcc_src/gcc/testsuite/gcc.dg/analyzer/zlib-3.c:49:25: note: (1) region
created on stack here
/build/gcc_src/gcc/testsuite/gcc.dg/analyzer/zlib-3.c:49:25: note: (2)
capacity: 4 bytes
/build/gcc_src/gcc/testsuite/gcc.dg/analyzer/zlib-3.c:80:6: note: (3) following
'false' branch...
/build/gcc_src/gcc/testsuite/gcc.dg/analyzer/zlib-3.c:86:7: note: (4) ...to
here
/build/gcc_src/gcc/testsuite/gcc.dg/analyzer/zlib-3.c:87:17: note: (5)
following 'true' branch (when 'j != 16')...
/build/gcc_src/gcc/testsuite/gcc.dg/analyzer/zlib-3.c:88:10: note: (6) ...to
here
/build/gcc_src/gcc/testsuite/gcc.dg/analyzer/zlib-3.c:91:6: note: (7) following
'false' branch...
/build/gcc_src/gcc/testsuite/gcc.dg/analyzer/zlib-3.c:93:3: note: (8) ...to
here
/build/gcc_src/gcc/testsuite/gcc.dg/analyzer/zlib-3.c:93:16: note: (9)
following 'true' branch (when 'i != 0')...
/build/gcc_src/gcc/testsuite/gcc.dg/analyzer/zlib-3.c:94:10: note: (10) ...to
here
/build/gcc_src/gcc/testsuite/gcc.dg/analyzer/zlib-3.c:97:6: note: (11)
following 'false' branch...
/build/gcc_src/gcc/testsuite/gcc.dg/analyzer/zlib-3.c:99:6: note: (12) ...to
here
/build/gcc_src/gcc/testsuite/gcc.dg/analyzer/zlib-3.c:104:6: note: (13)
following 'false' branch (when 'y >= 0')...
/build/gcc_src/gcc/testsuite/gcc.dg/analyzer/zlib-3.c:106:8: note: (14) ...to
here
/build/gcc_src/gcc/testsuite/gcc.dg/analyzer/zlib-3.c:131:12: note: (15)
following 'true' branch (when 'k <= g')...
/build/gcc_src/gcc/testsuite/gcc.dg/analyzer/zlib-3.c:132:7: note: (16) ...to
here
/build/gcc_src/gcc/testsuite/gcc.dg/analyzer/zlib-3.c:153:12: note: (17)
following 'false' branch...
/build/gcc_src/gcc/testsuite/gcc.dg/analyzer/zlib-3.c:155:23: note: (18) ...to
here
/build/gcc_src/gcc/testsuite/gcc.dg/analyzer/zlib-3.c:158:12: note: (19)
following 'false' branch (when 'h == 0')...
/build/gcc_src/gcc/testsuite/gcc.dg/analyzer/zlib-3.c:166:14: note: (20) ...to
here
/build/gcc_src/gcc/testsuite/gcc.dg/analyzer/zlib-3.c:135:16: note: (21)
following 'false' branch...
/build/gcc_src/gcc/testsuite/gcc.dg/analyzer/zlib-3.c:169:21: note: (22) ...to
here
/build/gcc_src/gcc/testsuite/gcc.dg/analyzer/zlib-3.c:170:10: note: (23)
following 'true' branch...
/build/gcc_src/gcc/testsuite/gcc.dg/analyzer/zlib-3.c:180:19: note: (24) ...to
here
/build/gcc_src/gcc/testsuite/gcc.dg/analyzer/zlib-3.c:181:26: note: (25)
following 'true' branch (when 'j < z')...
/build/gcc_src/gcc/testsuite/gcc.dg/analyzer/zlib-3.c:182:10: note: (26) ...to
here
/build/gcc_src/gcc/testsuite/gcc.dg/analyzer/zlib-3.c:182:14: note: (27) use of
uninitialized value 'r.base' here
pid is -1
output is /build/gcc_src/gcc/testsuite/gcc.dg/analyzer/zlib-3.c: In function
'huft_build':
/build/gcc_src/gcc/testsuite/gcc.dg/analyzer/zlib-3.c:182:14: warning: use of
uninitialized value 'r.base' [CWE-457] [-Wanalyzer-use-of-uninitialized-value]
/build/gcc_src/gcc/testsuite/gcc.dg/analyzer/zlib-3.c:49:25: note: (1) region
created on stack here
/build/gcc_src/gcc/testsuite/gcc.dg/analyzer/zlib-3.c:49:25: note: (2)
capacity: 4 bytes
/build/gcc_src/gcc/testsuite/gcc.dg/analyzer/zlib-3.c:80:6: note: (3) following
'false' branch...
/build/gcc_src/gcc/testsuite/gcc.dg/analyzer/zlib-3.c:86:7: note: (4) ...to
here
/build/gcc_src/gcc/testsuite/gcc.dg/analyzer/zlib-3.c:87:17: note: (5)
following 'true' branch (when 'j != 16')...
/build/gcc_src/gcc/testsuite/gcc.dg/analyzer/zlib-3.c:88:10: note: (6) ...to
here
/build/gcc_src/gcc/testsuite/gcc.dg/analyzer/zlib-3.c:91:6: note: (7) following
'false' branch...
/build/gcc_src/gcc/testsuite/gcc.dg/analyzer/zlib-3.c:93:3: note: (8) ...to
here
/build/gcc_src/gcc/testsuite/gcc.dg/analyzer/zlib-3.c:93:16: note: (9)
following 'true' branch (when 'i != 0')...
/build/gcc_src/gcc/testsuite/gcc.dg/analyzer/zlib-3.c:94:10: note: (10) ...to
here
/build/gcc_src/gcc/testsuite/gcc.dg/analyzer/zlib-3.c:97:6: note: (11)
following 'false' branch...
/build/gcc_src/gcc/testsuite/gcc.dg/analyzer/zlib-3.c:99:6: note: (12) ...to
here
/build/gcc_src/gcc/testsuite/gcc.dg/analyzer/zlib-3.c:104:6: note: (13)
following 'false' branch (when 'y >= 0')...
/build/gcc_src/gcc/testsuite/gcc.dg/analyzer/zlib-3.c:106:8: note: (14) ...to
here
/build/gcc_src/gcc/testsuite/gcc.dg/analyzer/zlib-3.c:131:12: note: (15)
following 'true' branch (when 'k <= g')...
/build/gcc_src/gcc/testsuite/gcc.dg/analyzer/zlib-3.c:132:7: note: (16) ...to
here
/build/gcc_src/gcc/testsuite/gcc.dg/analyzer/zlib-3.c:153:12: note: (17)
following 'false' branch...
/build/gcc_src/gcc/testsuite/gcc.dg/analyzer/zlib-3.c:155:23: note: (18) ...to
here
/build/gcc_src/gcc/testsuite/gcc.dg/analyzer/zlib-3.c:158:12: note: (19)
following 'false' branch (when 'h == 0')...
/build/gcc_src/gcc/testsuite/gcc.dg/analyzer/zlib-3.c:166:14: note: (20) ...to
here
/build/gcc_src/gcc/testsuite/gcc.dg/analyzer/zlib-3.c:135:16: note: (21)
following 'false' branch...
/build/gcc_src/gcc/testsuite/gcc.dg/analyzer/zlib-3.c:169:21: note: (22) ...to
here
/build/gcc_src/gcc/testsuite/gcc.dg/analyzer/zlib-3.c:170:10: note: (23)
following 'true' branch...
/build/gcc_src/gcc/testsuite/gcc.dg/analyzer/zlib-3.c:180:19: note: (24) ...to
here
/build/gcc_src/gcc/testsuite/gcc.dg/analyzer/zlib-3.c:181:26: note: (25)
following 'true' branch (when 'j < z')...
/build/gcc_src/gcc/testsuite/gcc.dg/analyzer/zlib-3.c:182:10: note: (26) ...to
here
/build/gcc_src/gcc/testsuite/gcc.dg/analyzer/zlib-3.c:182:14: note: (27) use of
uninitialized value 'r.base' here
status 0
PASS: gcc.dg/analyzer/zlib-3.c (test for warnings, line 49)
PASS: gcc.dg/analyzer/zlib-3.c (test for warnings, line 182)
XPASS: gcc.dg/analyzer/zlib-3.c (test for bogus messages, line 187)
PASS: gcc.dg/analyzer/zlib-3.c (test for excess errors)
