#include "check_debug.h"

struct foo {
	int a, b, c;
};

struct bar {
	struct foo *foo;
};

struct foo *get_foo(struct bar *bar)
{
	return bar->foo;
}

void frob(struct bar *bar)
{
	struct foo *f = bar->foo;
	f->a = 5;
}

int test(struct bar *bar)
{
	struct foo *f = get_foo(bar);

	f->a = 1;
	frob(bar);
	__smatch_implied(bar->foo->a);
	__smatch_implied(f->a);

	return 0;
}

/*
 * check-name: smatch: indirection #2
 * check-command: smatch -I.. sm_indirection2.c
 *
 * check-output-start
sm_indirection2.c:28 test() implied: bar->foo->a = '5'
sm_indirection2.c:29 test() implied: f->a = '5'
 * check-output-end
 */