Apparently, the issue is not with the linearization. I noticed that the
condition has been parsed as:
EXPR_BINOP
* EXPR_LOGICAL
* EXPR_LOGICAL
* EXPR_PREOP
* EXPR_PREOP
* EXPR_COMPARE
* EXPR_COMPARE
After replacing EXPR_BINOP with EXPR_LOGICAL in the top node of the
tree, the linearization works just fine. Could someone explain me the
difference between EXPR_BINOP and EXPR_LOGICAL in this context?
Thanks!
Jacek
--
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
