#include "check_debug.h"

int frob(void);

int main(void)
{
        int x;

        x = frob();

        if (x != -28)
                return;

        if (x != -28 && x != -30)
                __smatch_implied(x);
        __smatch_implied(x);

        return 0;
}

/*
 * check-name: smatch impossible #3
 * check-command: smatch -I.. sm_impossible3.c
 *
 * check-output-start
sm_impossible3.c:15 main() implied: x = ''
sm_impossible3.c:16 main() implied: x = '(-28)'
 * check-output-end
 */