#include "check_debug.h"

int frob(void);

int a;
int func (char *input)
{
        int x = frob();

        if (a == 1) {
                if (x != -5)
                        return;
        } else if (a == 2) {
                if (x < 0 || x > 10)
                        return;
        } else {
                return;
        }

        if (x)
                ;

        if (x == -5)
                __smatch_implied(a);

        return 0;
}

/*
 * check-name: smatch implied #17
 * check-command: smatch -I.. sm_implied17.c
 *
 * check-output-start
sm_implied17.c:24 func() implied: a = '1'
 * check-output-end
 */