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