public inbox for gcc-bugs@sourceware.org
help / color / mirror / Atom feed
* [Bug analyzer/112704] New: FAIL: gcc.dg/analyzer/data-model-20.c (test for warnings, line 17)
@ 2023-11-24 18:54 danglin at gcc dot gnu.org
2023-11-27 10:10 ` [Bug analyzer/112704] " tschwinge at gcc dot gnu.org
` (2 more replies)
0 siblings, 3 replies; 4+ messages in thread
From: danglin at gcc dot gnu.org @ 2023-11-24 18:54 UTC (permalink / raw)
To: gcc-bugs
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)
^ permalink raw reply [flat|nested] 4+ messages in thread
* [Bug analyzer/112704] FAIL: gcc.dg/analyzer/data-model-20.c (test for warnings, line 17)
2023-11-24 18:54 [Bug analyzer/112704] New: FAIL: gcc.dg/analyzer/data-model-20.c (test for warnings, line 17) danglin at gcc dot gnu.org
@ 2023-11-27 10:10 ` tschwinge at gcc dot gnu.org
2023-12-12 8:20 ` tschwinge at gcc dot gnu.org
2023-12-12 13:23 ` dmalcolm at gcc dot gnu.org
2 siblings, 0 replies; 4+ messages in thread
From: tschwinge at gcc dot gnu.org @ 2023-11-27 10:10 UTC (permalink / raw)
To: gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=112704
Thomas Schwinge <tschwinge at gcc dot gnu.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
Ever confirmed|0 |1
CC| |tschwinge at gcc dot gnu.org
Last reconfirmed| |2023-11-27
Status|UNCONFIRMED |NEW
--- Comment #1 from Thomas Schwinge <tschwinge at gcc dot gnu.org> ---
(In reply to John David Anglin from comment #0)
> FAIL: gcc.dg/analyzer/data-model-20.c (test for warnings, line 17)
I also see this is my configurations (targets amdgcn-amdhsa, nvptx-none,
powerpc64le-linux-gnu, x86_64-pc-linux-gnu) -- however, not always (that is,
some test runs PASS), and not consistently between what I would consider
comparable test runs...
^ permalink raw reply [flat|nested] 4+ messages in thread
* [Bug analyzer/112704] FAIL: gcc.dg/analyzer/data-model-20.c (test for warnings, line 17)
2023-11-24 18:54 [Bug analyzer/112704] New: FAIL: gcc.dg/analyzer/data-model-20.c (test for warnings, line 17) danglin at gcc dot gnu.org
2023-11-27 10:10 ` [Bug analyzer/112704] " tschwinge at gcc dot gnu.org
@ 2023-12-12 8:20 ` tschwinge at gcc dot gnu.org
2023-12-12 13:23 ` dmalcolm at gcc dot gnu.org
2 siblings, 0 replies; 4+ messages in thread
From: tschwinge at gcc dot gnu.org @ 2023-12-12 8:20 UTC (permalink / raw)
To: gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=112704
Thomas Schwinge <tschwinge at gcc dot gnu.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
Resolution|--- |DUPLICATE
Status|NEW |RESOLVED
--- Comment #2 from Thomas Schwinge <tschwinge at gcc dot gnu.org> ---
Should be resolved via commit
r14-6434-g6008b80b25d71827fb26ce49f49aae02b645bb12 "analyzer: fix uninitialized
bitmap [PR112955]".
*** This bug has been marked as a duplicate of bug 112955 ***
^ permalink raw reply [flat|nested] 4+ messages in thread
* [Bug analyzer/112704] FAIL: gcc.dg/analyzer/data-model-20.c (test for warnings, line 17)
2023-11-24 18:54 [Bug analyzer/112704] New: FAIL: gcc.dg/analyzer/data-model-20.c (test for warnings, line 17) danglin at gcc dot gnu.org
2023-11-27 10:10 ` [Bug analyzer/112704] " tschwinge at gcc dot gnu.org
2023-12-12 8:20 ` tschwinge at gcc dot gnu.org
@ 2023-12-12 13:23 ` dmalcolm at gcc dot gnu.org
2 siblings, 0 replies; 4+ messages in thread
From: dmalcolm at gcc dot gnu.org @ 2023-12-12 13:23 UTC (permalink / raw)
To: gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=112704
--- Comment #3 from David Malcolm <dmalcolm at gcc dot gnu.org> ---
Aha! Thanks.
^ permalink raw reply [flat|nested] 4+ messages in thread
end of thread, other threads:[~2023-12-12 13:23 UTC | newest]
Thread overview: 4+ messages (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2023-11-24 18:54 [Bug analyzer/112704] New: FAIL: gcc.dg/analyzer/data-model-20.c (test for warnings, line 17) danglin at gcc dot gnu.org
2023-11-27 10:10 ` [Bug analyzer/112704] " tschwinge at gcc dot gnu.org
2023-12-12 8:20 ` tschwinge at gcc dot gnu.org
2023-12-12 13:23 ` dmalcolm at gcc dot gnu.org
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for read-only IMAP folder(s) and NNTP newsgroup(s).