#include "check_debug.h"

int a, b;

int frob(int size)
{
        if (a <= 0 || a > 10)
                return;
        if (a % 4) {
                __smatch_implied(a);
        } else {
                __smatch_implied(a);
        }

        if (b <= 0 || b > 100)
                return;
        if (b % 4) {
                __smatch_implied(b);
        } else {
                __smatch_implied(b);
        }



        return 0;
}

/*
 * check-name: smatch mod condition
 * check-command: smatch -I.. sm_mod.c
 *
 * check-output-start
sm_mod.c:10 frob() implied: a = '1-10'
sm_mod.c:12 frob() implied: a = '4,8'
sm_mod.c:18 frob() implied: b = '1-99'
sm_mod.c:20 frob() implied: b = '4-100'
 * check-output-end
 */