#include <stdlib.h>

void test(void *ptr)
{
	free(ptr);
	free(ptr);
}

int main()
{
	void *ptr = malloc(1);
	test(ptr);
}