On Thu, May 16, 2013 at 4:56 PM, Xi Wang <xi.wang@xxxxxxxxx> wrote: > The expression type of zero testing should be EXPR_COMPARE, rather > than EXPR_BINOP. There might be a bigger problem. The C standard says the result type of comparisons, !, &&, || should be int, rather than bool. -- 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