#include "check_debug.h"

int a, b, c;

int main(void)
{
        if (a < 4)
                return 1;
        if (a > 10)
                return 2;
        __smatch_value("a");

        if (b < 3)
                return 3;
        if (b > 15)
                return 4;
        __smatch_value("b");

        if (b > a) {
                __smatch_value("a");
                __smatch_value("b");
        } else {
                __smatch_value("a");
                __smatch_value("b");
        }
        return 5;
}

/*
 * check-name: Smatch Comparison #2
 * check-command: smatch -I.. sm_compare2.c
 *
 * check-output-start
sm_compare2.c:11 main() a = 4-10
sm_compare2.c:17 main() b = 3-15
sm_compare2.c:20 main() a = 4-10
sm_compare2.c:21 main() b = 5-15
sm_compare2.c:23 main() a = 4-10
sm_compare2.c:24 main() b = 3-10
 * check-output-end
 */