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

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

int frob1(struct foo *p)
{
        __smatch_implied(*p->p);
}

int frob2(struct foo *p)
{
        __smatch_implied(*p->p);
}

int x = 42;
int y = 43;

struct foo aaa = {
        .func = frob1,
        .a = 1, .b = 2, .c = 3,
        .p = &x,
};
struct foo bbb = {
        .func = frob2,
        .a = 10, .b = 11, .c = 13,
        .p = &y,
};

int main(void)
{
        aaa.func(&aaa);
        bbb.func(&bbb);
        return 0;
}

/*
 * check-name: smatch mtag #7
 * check-command: validation/smatch_db_test.sh -I.. sm_mtag7.c
 *
 * check-output-start
sm_mtag7.c:12 frob1() implied: *p->p = '42'
sm_mtag7.c:17 frob2() implied: *p->p = '43'
 * check-output-end
 */