[Bug analyzer/112704] New: FAIL: gcc.dg/analyzer/data-model-20.c (test for warnings, line 17)

[Bug analyzer/112704] New: FAIL: gcc.dg/analyzer/data-model-20.c (test for warnings, line 17)

[danglin at gcc dot gnu.org]

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)

[Bug analyzer/112704] FAIL: gcc.dg/analyzer/data-model-20.c (test for warnings, line 17)

[tschwinge at gcc dot gnu.org]

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...

[Bug analyzer/112704] FAIL: gcc.dg/analyzer/data-model-20.c (test for warnings, line 17)

[tschwinge at gcc dot gnu.org]

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 ***

[Bug analyzer/112704] FAIL: gcc.dg/analyzer/data-model-20.c (test for warnings, line 17)

[dmalcolm at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=112704

--- Comment #3 from David Malcolm <dmalcolm at gcc dot gnu.org> ---
Aha!  Thanks.