1*1f5207b7SJohn Levon #include <stdlib.h> 2*1f5207b7SJohn Levon func(void)3*1f5207b7SJohn Levonvoid func (void) 4*1f5207b7SJohn Levon { 5*1f5207b7SJohn Levon void *x; 6*1f5207b7SJohn Levon 7*1f5207b7SJohn Levon x = malloc(42); 8*1f5207b7SJohn Levon 9*1f5207b7SJohn Levon free(x); 10*1f5207b7SJohn Levon free(x); 11*1f5207b7SJohn Levon 12*1f5207b7SJohn Levon return 0; 13*1f5207b7SJohn Levon } 14*1f5207b7SJohn Levon /* 15*1f5207b7SJohn Levon * check-name: double free test #1 16*1f5207b7SJohn Levon * check-command: smatch sm_double_free1.c 17*1f5207b7SJohn Levon * 18*1f5207b7SJohn Levon * check-output-start 19*1f5207b7SJohn Levon sm_double_free1.c:10 func() error: double free of 'x' 20*1f5207b7SJohn Levon * check-output-end 21*1f5207b7SJohn Levon */ 22