public inbox for gcc-bugs@sourceware.org
help / color / mirror / Atom feed
* [Bug analyzer/102020] New: [12 regression] analyzer/malloc-callbacks.c fails since r12-3052
@ 2021-08-23  8:43 clyon at gcc dot gnu.org
  2021-08-23  8:50 ` [Bug analyzer/102020] " marxin at gcc dot gnu.org
                   ` (3 more replies)
  0 siblings, 4 replies; 5+ messages in thread
From: clyon at gcc dot gnu.org @ 2021-08-23  8:43 UTC (permalink / raw)
  To: gcc-bugs

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

            Bug ID: 102020
           Summary: [12 regression] analyzer/malloc-callbacks.c fails
                    since r12-3052
           Product: gcc
           Version: 12.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: analyzer
          Assignee: dmalcolm at gcc dot gnu.org
          Reporter: clyon at gcc dot gnu.org
  Target Milestone: ---

Since r12-3052 (g:e92d0ff6b5e6d4b95c04fc3e326d40efeb136086), there is a new
failure:
FAIL: gcc.dg/analyzer/malloc-callbacks.c (test for excess errors)
Excess errors:
/gcc/testsuite/gcc.dg/analyzer/malloc-callbacks.c:72:3: warning: double-'free'
of 'ptr' [CWE-415] [-Wanalyzer-double-free]


Seen on arm and aarch64

^ permalink raw reply	[flat|nested] 5+ messages in thread

* [Bug analyzer/102020] [12 regression] analyzer/malloc-callbacks.c fails since r12-3052
  2021-08-23  8:43 [Bug analyzer/102020] New: [12 regression] analyzer/malloc-callbacks.c fails since r12-3052 clyon at gcc dot gnu.org
@ 2021-08-23  8:50 ` marxin at gcc dot gnu.org
  2021-08-23  9:11 ` rguenth at gcc dot gnu.org
                   ` (2 subsequent siblings)
  3 siblings, 0 replies; 5+ messages in thread
From: marxin at gcc dot gnu.org @ 2021-08-23  8:50 UTC (permalink / raw)
  To: gcc-bugs

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

Martin Liška <marxin at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
     Ever confirmed|0                           |1
   Last reconfirmed|                            |2021-08-23
             Status|UNCONFIRMED                 |NEW
                 CC|                            |dmalcolm at gcc dot gnu.org,
                   |                            |hailankurthegr8 at gmail dot com,
                   |                            |marxin at gcc dot gnu.org

--- Comment #1 from Martin Liška <marxin at gcc dot gnu.org> ---
I'm pretty sure it's caused by a typo in the code:

build/gcc/analyzer/diagnostic-manager.cc:2108:21: warning: variable
'caller_var' is used uninitialized whenever 'if' condition is false
[-Wsometimes-uninitialized] 

+                else
+                  callee_var = callee_model->get_representative_tree (sval);

This should be likely 'caller_var'.

^ permalink raw reply	[flat|nested] 5+ messages in thread

* [Bug analyzer/102020] [12 regression] analyzer/malloc-callbacks.c fails since r12-3052
  2021-08-23  8:43 [Bug analyzer/102020] New: [12 regression] analyzer/malloc-callbacks.c fails since r12-3052 clyon at gcc dot gnu.org
  2021-08-23  8:50 ` [Bug analyzer/102020] " marxin at gcc dot gnu.org
@ 2021-08-23  9:11 ` rguenth at gcc dot gnu.org
  2021-08-23 11:50 ` cvs-commit at gcc dot gnu.org
  2021-08-23 12:09 ` marxin at gcc dot gnu.org
  3 siblings, 0 replies; 5+ messages in thread
From: rguenth at gcc dot gnu.org @ 2021-08-23  9:11 UTC (permalink / raw)
  To: gcc-bugs

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

Richard Biener <rguenth at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
   Target Milestone|---                         |12.0

^ permalink raw reply	[flat|nested] 5+ messages in thread

* [Bug analyzer/102020] [12 regression] analyzer/malloc-callbacks.c fails since r12-3052
  2021-08-23  8:43 [Bug analyzer/102020] New: [12 regression] analyzer/malloc-callbacks.c fails since r12-3052 clyon at gcc dot gnu.org
  2021-08-23  8:50 ` [Bug analyzer/102020] " marxin at gcc dot gnu.org
  2021-08-23  9:11 ` rguenth at gcc dot gnu.org
@ 2021-08-23 11:50 ` cvs-commit at gcc dot gnu.org
  2021-08-23 12:09 ` marxin at gcc dot gnu.org
  3 siblings, 0 replies; 5+ messages in thread
From: cvs-commit at gcc dot gnu.org @ 2021-08-23 11:50 UTC (permalink / raw)
  To: gcc-bugs

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

--- Comment #2 from CVS Commits <cvs-commit at gcc dot gnu.org> ---
The master branch has been updated by Ankur saini <arsenic@gcc.gnu.org>:

https://gcc.gnu.org/g:537878152ded8b7d271333b803b36c27a9aea8d2

commit r12-3076-g537878152ded8b7d271333b803b36c27a9aea8d2
Author: Ankur Saini <arsenic@sourceware.org>
Date:   Mon Aug 23 17:03:29 2021 +0530

    analyzer: Fix PR analyzer/102020

    2021-08-23  Ankur Saini  <arsenic@sourceware.org>

    gcc/analyzer/ChangeLog:
            PR analyzer/102020
            * diagnostic-manager.cc
            (diagnostic_manager::prune_for_sm_diagnostic)<case EK_CALL_EDGE>:
Fix typo.

    gcc/testsuite/ChangeLog:
            PR analyzer/102020
            * gcc.dg/analyzer/malloc-callbacks.c : Fix faulty test.

^ permalink raw reply	[flat|nested] 5+ messages in thread

* [Bug analyzer/102020] [12 regression] analyzer/malloc-callbacks.c fails since r12-3052
  2021-08-23  8:43 [Bug analyzer/102020] New: [12 regression] analyzer/malloc-callbacks.c fails since r12-3052 clyon at gcc dot gnu.org
                   ` (2 preceding siblings ...)
  2021-08-23 11:50 ` cvs-commit at gcc dot gnu.org
@ 2021-08-23 12:09 ` marxin at gcc dot gnu.org
  3 siblings, 0 replies; 5+ messages in thread
From: marxin at gcc dot gnu.org @ 2021-08-23 12:09 UTC (permalink / raw)
  To: gcc-bugs

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

Martin Liška <marxin at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|NEW                         |RESOLVED
         Resolution|---                         |FIXED

--- Comment #3 from Martin Liška <marxin at gcc dot gnu.org> ---
Fixed now.

^ permalink raw reply	[flat|nested] 5+ messages in thread

end of thread, other threads:[~2021-08-23 12:09 UTC | newest]

Thread overview: 5+ messages (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2021-08-23  8:43 [Bug analyzer/102020] New: [12 regression] analyzer/malloc-callbacks.c fails since r12-3052 clyon at gcc dot gnu.org
2021-08-23  8:50 ` [Bug analyzer/102020] " marxin at gcc dot gnu.org
2021-08-23  9:11 ` rguenth at gcc dot gnu.org
2021-08-23 11:50 ` cvs-commit at gcc dot gnu.org
2021-08-23 12:09 ` marxin 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).