void *kmalloc(void);
void free(void *);

struct ture {
	int *a;
};

struct ture *a;
struct ture *b;
void func (void)
{
	struct ture *aa;
	struct ture *ab;
	struct ture *ac;
	aa = kmalloc();
	ab = kmalloc();
	ac = kmalloc();

	a = aa;
	if (ab) {
		free(ab);
		return;
	}
	free(ac);
	return;
}
/*
 * check-name: leak test #1
 * check-command: smatch sm_memory.c
 *
 * check-output-start
sm_memory.c:22 func() warn: possible memory leak of 'ac'
sm_memory.c:22 func() error: memory leak of 'ac'
 * check-output-end
 */