#include "check_debug.h"

int frob(void);
#define get_user(x, y) ({ int __val_gu = frob(); x = __val_gu; 0; })

void func(void)
{
        int *user_ptr;
        int foo, bar;
        unsigned int x;

        get_user(foo, user_ptr);
        bar = foo + 1;

        get_user(bar, user_ptr);
        if (bar > foo)
                bar = foo;
        foo = bar * 8;

        get_user(x, user_ptr);
        if (x > foo)
                x = foo;
        foo = x * 8;

        get_user(x, user_ptr);
        foo = x * 8;
}
/*
 * check-name: smatch get_user() #1
 * check-command: smatch -p=kernel -I.. sm_get_user1.c
 *
 * check-output-start
sm_get_user1.c:13 func() warn: check for integer over/underflow 'foo'
sm_get_user1.c:18 func() warn: check for integer underflow 'bar'
sm_get_user1.c:26 func() warn: check for integer overflow 'x'
 * check-output-end
 */