../../src/gcc/testsuite/gcc.dg/analyzer/malloc-ipa-8-double-free.c: 14: 3

14
  free (ptr); /* { dg-warning "double-free of 'ptr' \\\[CWE-415\\\]" } */
  ^
Path of length 13:
test
Depth: 0
../../src/gcc/testsuite/gcc.dg/analyzer/malloc-ipa-8-double-free.c
38
void test (int i)
     1entry to ‘test’
39
{
40
  boxed_int *obj = make_boxed_int (i);
41

      
42
  free_boxed_int (obj);
  2calling ‘free_boxed_int’ from ‘test’
free_boxed_int
Depth: 1
../../src/gcc/testsuite/gcc.dg/analyzer/malloc-ipa-8-double-free.c
33
free_boxed_int (boxed_int *bi)
3entry to ‘free_boxed_int’
34
{
35
  wrapped_free (bi);
  4calling ‘wrapped_free’ from ‘free_boxed_int’
wrapped_free
Depth: 2
../../src/gcc/testsuite/gcc.dg/analyzer/malloc-ipa-8-double-free.c
12
void wrapped_free (void *ptr)
     5entry to ‘wrapped_free’
13
{
14
  free (ptr); /* { dg-warning "double-free of 'ptr' \\\[CWE-415\\\]" } */
  6first ‘free’ here
free_boxed_int
Depth: 1
../../src/gcc/testsuite/gcc.dg/analyzer/malloc-ipa-8-double-free.c
35
  wrapped_free (bi);
  7returning to ‘free_boxed_int’ from ‘wrapped_free’
test
Depth: 0
../../src/gcc/testsuite/gcc.dg/analyzer/malloc-ipa-8-double-free.c
42
  free_boxed_int (obj);
  8returning to ‘test’ from ‘free_boxed_int’
43

      
44
  free_boxed_int (obj);
  9calling ‘free_boxed_int’ from ‘test’
free_boxed_int
Depth: 1
../../src/gcc/testsuite/gcc.dg/analyzer/malloc-ipa-8-double-free.c
33
free_boxed_int (boxed_int *bi)
10entry to ‘free_boxed_int’
34
{
35
  wrapped_free (bi);
  11calling ‘wrapped_free’ from ‘free_boxed_int’
wrapped_free
Depth: 2
../../src/gcc/testsuite/gcc.dg/analyzer/malloc-ipa-8-double-free.c
12
void wrapped_free (void *ptr)
     12entry to ‘wrapped_free’
13
{
14
  free (ptr); /* { dg-warning "double-free of 'ptr' \\\[CWE-415\\\]" } */
  13second ‘free’ here