#define NULL ((void *)0)

struct ture {
	int *a;
};

struct ture *b;
struct ture *c;

void func (void)
{
	struct ture *ab;
	int ret = 0;

	if (b) {
		ret = -1;
		goto foo;
	}

	if (c) {}

	ab = some_func();
	if (NULL == ab) {
		ret = -1;
		goto foo;
	}
foo:
	if (ret) {
		return;
	}
	ab->a = 1;
}
/*
 * check-name: Smatch implied #3
 * check-command: smatch sm_implied3.c
 */