#include "check_debug.h"

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

struct foo {
        struct bar bar;
        int x, y, z;
};

int test(int size)
{
        struct foo foo = {
                .bar.a = 42,
                .bar.b = 43,
                -1,
        };
        __smatch_implied(foo.bar.b);
        __smatch_implied(foo.bar.c);
        __smatch_implied(foo.x);
        __smatch_implied(foo.y);

        return 0;
}

/*
 * check-name: smatch: nested initializer
 * check-command: smatch -I.. sm_initializer.c
 *
 * check-output-start
sm_initializer.c:19 test() implied: foo.bar.b = '43'
sm_initializer.c:20 test() implied: foo.bar.c = '0'
sm_initializer.c:21 test() implied: foo.x = '(-1)'
sm_initializer.c:22 test() implied: foo.y = '0'
 * check-output-end
 */