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

static int xxx = 234;

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

static int frob1(struct foo *p)
{
        printf("%d\n", p->a);
        __smatch_implied(p->a);
        return p->a + 1;
}
static int frob2(struct foo *p)
{
        printf("%d\n", p->a);
        __smatch_implied(p->a);
        return p->a + 1;
}

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

int main(void)
{
        struct foo *p = &one_struct;
        int ret;

        ret = p->func(p);
//      __smatch_implied(ret);

        return 0;
}

/*
 * check-name: smatch mtag #1
 * check-command: validation/smatch_db_test.sh -I.. sm_mtag1.c
 *
 * check-output-start
sm_mtag1.c:14 frob1() implied: p->a = '1'
sm_mtag1.c:20 frob2() implied: p->a = '2'
 * check-output-end
 */