* Christopher Li <sparse@xxxxxxxxxxx> wrote: > I think Al Viro has sent a patch to linux-sparse with subject "[PATCH > 3/3] catch !x & y brainos" does exactly that. ah - nice :-) /me checks the linux-sparse archive Al's patch is: + if (op == '&' && expr->left->type == EXPR_PREOP && + expr->left->op == '!') + warning(expr->pos, "dubious: !x & y"); i think there might be similar patterns: "x & !y", "!x | y", "x | !y" ? Ingo -- To unsubscribe from this list: send the line "unsubscribe linux-sparse" in the body of a message to majordomo@xxxxxxxxxxxxxxx More majordomo info at http://vger.kernel.org/majordomo-info.html
