void dev_hold(int *x);

void dev_put(int *x){}

extern int y,z;
int *x;

int func (void)
{
	dev_hold(x);
	if (y) {
		dev_put(x);
		return -1;
	}
	if (z) {
		return -1;
	}
	return 0;
}
/*
 * check-name: dev_hold() check
 * check-command: smatch --project=kernel sm_dev_hold.c
 *
 * check-output-start
sm_dev_hold.c:16 func() warn: 'x' held on error path.
 * check-output-end
 */