#include <stdio.h>
#include <string.h>
#include "check_debug.h"

long long l;
long long ul;
int i;
int ui;
signed char c;
char uc;

int main(void)
{
        int idx;

        if (c < 2)
                return 1;
        if (uc < (unsigned int)2)
                return 1;
        if (i < 2)
                return 1;
        if (ui < (unsigned int)2)
                return 1;
        if (l < 2)
                return 1;
        if (ul < (unsigned int)2)
                return 1;

        __smatch_implied(l);
        __smatch_implied(ul);
        __smatch_implied(i);
        __smatch_implied(ui);
        __smatch_implied(c);
        __smatch_implied(uc);

        return 0;
}


/*
 * check-name: smatch: casts #6
 * check-command: smatch -I.. sm_casts6.c
 *
 * check-output-start
sm_casts6.c:29 main() implied: l = '2-s64max'
sm_casts6.c:30 main() implied: ul = '2-s64max'
sm_casts6.c:31 main() implied: i = '2-s32max'
sm_casts6.c:32 main() implied: ui = 's32min-(-1),2-s32max'
sm_casts6.c:33 main() implied: c = '2-127'
sm_casts6.c:34 main() implied: uc = '(-128)-(-1),2-127'
 * check-output-end
 */