void frob(void);

char c;
static int options_write(void)
{
        char a;
        unsigned char b;

        a = (char)0xff;
        a = 0xff;
        (char)b = 0xff;
        b = 0xff;
        if (c > -400)
                frob();
        if (c < -400)
                frob();
        if (400 > c)
                frob();
        if (-400 > c)
                frob();
        b = -12;

}
/*
 * check-name: smatch cast handling
 * check-command: smatch sm_casts.c
 *
 * check-output-start
sm_casts.c:13 options_write() warn: always true condition '(c > -400) => ((-128)-127 > (-400))'
sm_casts.c:15 options_write() warn: impossible condition '(c < -400) => ((-128)-127 < (-400))'
sm_casts.c:17 options_write() warn: always true condition '(400 > c) => (400 > (-128)-127)'
sm_casts.c:19 options_write() warn: impossible condition '(-400 > c) => ((-400) > (-128)-127)'
sm_casts.c:21 options_write() warn: assigning (-12) to unsigned variable 'b'
 * check-output-end
 */