#include <stdlib.h>

void func (void)
{
        void *ptr;

        ptr = malloc(42);
        ptr = (void *) 0;

        return;
}
/*
 * check-name: leak test #2
 * check-command: smatch sm_memleak2.c
 *
 * check-output-start
sm_memleak2.c:8 func() warn: overwrite may leak 'ptr'
 * check-output-end
 */