#include <stdlib.h>

void func (void)
{
        void *x;

        x = malloc(42);

        free(x);
        free(x);

        return 0;
}
/*
 * check-name: double free test #1
 * check-command: smatch sm_double_free1.c
 *
 * check-output-start
sm_double_free1.c:10 func() error: double free of 'x'
 * check-output-end
 */