warning: double-‘free’ of ‘p’ [CWE-415] [-Wanalyzer-double-free]
Function test
File ../../src/gcc/testsuite/gcc.dg/analyzer/state-diagram-4.c
Line 7
Column 3
7 __builtin_free (p); /* { dg-warning "-Wanalyzer-double-free" } */
^~~~~~~~~~~~~~~~~~
test
test: events 1-3
5 void *p = __builtin_malloc (1024);
^~~~~~~~~~~~~~~~~~~~~~~
|
(1) allocated here
6 __builtin_free (p);
~~~~~~~~~~~~~~~~~~
|
(2) first ‘free’ here
7 __builtin_free (p); /* { dg-warning "-Wanalyzer-double-free" } */
~~~~~~~~~~~~~~~~~~
|
(3) ⚠️ second ‘free’ here; first ‘free’ was at (2)