struct foo {
        unsigned int x:1;
};

int frob();
int a,b,c,d, x, y;
struct foo *z;
static int options_write(void)
{
        if (x & y == 0)
                frob();
        if (x | y == 0)
                frob();
        if (a == b & c == d)
                frob();
        if (a == c == d)
                frob();
        if (!a == b)
                frob();
        c = !a & b;
        if (x + y == 0)
                frob();
        if (!a == !b)
                frob();
        if (!a == z->x)
                frob();
        if (!!a == b)
                frob();

}
/*
 * check-name: Smatch precedence check
 * check-command: smatch sm_precedence.c
 *
 * check-output-start
sm_precedence.c:10 options_write() warn: add some parenthesis here?
sm_precedence.c:12 options_write() warn: add some parenthesis here?
sm_precedence.c:14 options_write() warn: add some parenthesis here?
sm_precedence.c:16 options_write() warn: add some parenthesis here?
sm_precedence.c:18 options_write() warn: add some parenthesis here?
sm_precedence.c:20 options_write() warn: add some parenthesis here?
 * check-output-end
 */