#include <stdio.h>
#include "check_debug.h"

struct foo {
	int a, b, c;
	int (*func)(int *p);
	void (*func2)(int a);
	void *data;
};

static int frob1(int *val)
{
	__smatch_implied(*val);
	return *val + 1;
}

static int frob2(int *val)
{
	__smatch_implied(*val);
	return *val + 1;
}

static struct foo one_struct = {
	.a = 1,
	.func = frob1,
};

static struct foo two_struct = {
	.a = 2,
	.func = frob2,
};

struct foo *unknown(void);
struct foo *p;

int main(void)
{
	int ret;

	p = unknown();
	ret = p->func(&p->a);

	return 0;
}

/*
 * check-name: smatch mtag #2
 * check-command: validation/smatch_db_test.sh -I.. sm_mtag2.c
 *
 * check-output-start
sm_mtag2.c:13 frob1() implied: *val = '1'
sm_mtag2.c:19 frob2() implied: *val = '2'
 * check-output-end
 */