#include "check_debug.h"

int copy_from_user(void *dest, void *src, int size);

struct ear {
        int x, y;
};

void *src;
int returns_user_data(void)
{
        int x;

        copy_from_user(&x, src, sizeof(int));
        return x;
}

struct ear *dest;
struct ear *returns_user_member(void)
{
        copy_from_user(&dest->x, src, sizeof(int));
        return dest;
}
void test(void)
{
        struct ear *p;
        int x;

        x = returns_user_data();
        __smatch_user_rl(x);
        p = returns_user_member();
        __smatch_user_rl(p);
        __smatch_user_rl(p->x);
}

/*
 * check-name: smatch user data #4
 * check-command: smatch -p=kernel -I.. sm_user_data4.c
 *
 * check-output-start
sm_user_data4.c:30 test() user rl: 'x' = 's32min-s32max'
sm_user_data4.c:32 test() user rl: 'p' = ''
sm_user_data4.c:33 test() user rl: 'p->x' = 's32min-s32max'
 * check-output-end
 */