1*1f5207b7SJohn Levon #include <stdlib.h>
2*1f5207b7SJohn Levon 
func(void)3*1f5207b7SJohn Levon void 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