[Bug analyzer/102020] New: [12 regression] analyzer/malloc-callbacks.c fails since r12-3052

[clyon at gcc dot gnu.org]

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