https://gcc.gnu.org/bugzilla/show_bug.cgi?id=112704
Bug ID: 112704
Summary: FAIL: gcc.dg/analyzer/data-model-20.c (test for
warnings, line 17)
Product: gcc
Version: 14.0
Status: UNCONFIRMED
Severity: normal
Priority: P3
Component: analyzer
Assignee: dmalcolm at gcc dot gnu.org
Reporter: danglin at gcc dot gnu.org
Target Milestone: ---
Host: hppa64-hp-hpux11.11
Target: hppa64-hp-hpux11.11
Build: hppa64-hp-hpux11.11
Executing on host: /home/dave/gnu/gcc/objdir64/gcc/xgcc
-B/home/dave/gnu/gcc/obj
dir64/gcc/
/home/dave/gnu/gcc/gcc/gcc/testsuite/gcc.dg/analyzer/data-model-20.c
-fdiagnostics-plain-output -fanalyzer -Wanalyzer-too-complex
-fanalyzer-ca
ll-summaries -Wno-analyzer-too-complex -S -o data-model-20.s (timeout = 300)
spawn -ignore SIGHUP /home/dave/gnu/gcc/objdir64/gcc/xgcc
-B/home/dave/gnu/gcc/o
bjdir64/gcc/
/home/dave/gnu/gcc/gcc/gcc/testsuite/gcc.dg/analyzer/data-model-20.
c -fdiagnostics-plain-output -fanalyzer -Wanalyzer-too-complex
-fanalyzer-call-s
ummaries -Wno-analyzer-too-complex -S -o data-model-20.s
/home/dave/gnu/gcc/gcc/gcc/testsuite/gcc.dg/analyzer/data-model-20.c: In
functio
n 'test':
/home/dave/gnu/gcc/gcc/gcc/testsuite/gcc.dg/analyzer/data-model-20.c:24:7:
warni
ng: leak of '<unknown>' [CWE-401] [-Wanalyzer-malloc-leak]
/home/dave/gnu/gcc/gcc/gcc/testsuite/gcc.dg/analyzer/data-model-20.c:12:6:
note:
(1) following 'false' branch (when 'arr' is non-NULL)...
/home/dave/gnu/gcc/gcc/gcc/testsuite/gcc.dg/analyzer/data-model-20.c:15:10:
note
: (2) ...to here
/home/dave/gnu/gcc/gcc/gcc/testsuite/gcc.dg/analyzer/data-model-20.c:15:17:
note
: (3) following 'true' branch (when 'i < n')...
/home/dave/gnu/gcc/gcc/gcc/testsuite/gcc.dg/analyzer/data-model-20.c:16:13:
note
: (4) ...to here
/home/dave/gnu/gcc/gcc/gcc/testsuite/gcc.dg/analyzer/data-model-20.c:16:33:
note
: (5) allocated here
/home/dave/gnu/gcc/gcc/gcc/testsuite/gcc.dg/analyzer/data-model-20.c:16:8:
note:
(6) assuming '<unknown>' is non-NULL
/home/dave/gnu/gcc/gcc/gcc/testsuite/gcc.dg/analyzer/data-model-20.c:16:8:
note:
(7) following 'false' branch...
/home/dave/gnu/gcc/gcc/gcc/testsuite/gcc.dg/analyzer/data-model-20.c:15:23:
note
: (8) ...to here
/home/dave/gnu/gcc/gcc/gcc/testsuite/gcc.dg/analyzer/data-model-20.c:15:17:
note
: (9) following 'true' branch (when 'i < n')...
/home/dave/gnu/gcc/gcc/gcc/testsuite/gcc.dg/analyzer/data-model-20.c:16:13:
note
: (10) ...to here
/home/dave/gnu/gcc/gcc/gcc/testsuite/gcc.dg/analyzer/data-model-20.c:16:8:
note:
(11) following 'true' branch...
/home/dave/gnu/gcc/gcc/gcc/testsuite/gcc.dg/analyzer/data-model-20.c:17:7:
note:
(12) ...to here
/home/dave/gnu/gcc/gcc/gcc/testsuite/gcc.dg/analyzer/data-model-20.c:17:16:
note
: (13) following 'true' branch (when 'i >= 0')...
/home/dave/gnu/gcc/gcc/gcc/testsuite/gcc.dg/analyzer/data-model-20.c:22:17:
note
: (14) ...to here
/home/dave/gnu/gcc/gcc/gcc/testsuite/gcc.dg/analyzer/data-model-20.c:17:16:
note: (15) following 'true' branch (when 'i >= 0')...
/home/dave/gnu/gcc/gcc/gcc/testsuite/gcc.dg/analyzer/data-model-20.c:22:17:
note: (16) ...to here
/home/dave/gnu/gcc/gcc/gcc/testsuite/gcc.dg/analyzer/data-model-20.c:24:7:
note: (17) '<unknown>' leaks here; was allocated at (5)
FAIL: gcc.dg/analyzer/data-model-20.c (test for warnings, line 17)
PASS: gcc.dg/analyzer/data-model-20.c (test for bogus messages, line 22)
PASS: gcc.dg/analyzer/data-model-20.c (test for warnings, line 24)
PASS: gcc.dg/analyzer/data-model-20.c (test for excess errors)
