#include "check_debug.h"

int a, b, c;

static int frob(void)
{
        if (a > 5)
                return;
        if (b > 5)
                return;
        if (c != 5)
                return;

        if (a == 10)
                __smatch_value("a");
        if (b != 10)
                __smatch_value("b");
        if (c != 5)
                __smatch_value("c");
        if (5 != c)
                __smatch_value("c");

        __smatch_value("a");
        __smatch_value("b");
        __smatch_value("c");
}

/*
 * check-name: Smatch Comparison
 * check-command: smatch -I.. sm_compare.c
 *
 * check-output-start
sm_compare.c:15 frob() a = empty
sm_compare.c:17 frob() b = s32min-5
sm_compare.c:19 frob() c = empty
sm_compare.c:21 frob() c = empty
sm_compare.c:23 frob() a = s32min-5
sm_compare.c:24 frob() b = s32min-5
sm_compare.c:25 frob() c = 5
 * check-output-end
 */