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