1#include <stdlib.h>
2
3void 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
19sm_double_free1.c:10 func() error: double free of 'x'
20 * check-output-end
21 */
22