Print this page
new smatch

*** 34,44 **** static int is_do_while_zero(struct statement *stmt) { if (!stmt->iterator_post_condition) return 0; ! if (!is_zero(stmt->iterator_post_condition)) return 0; return 1; } static void push_statement(struct statement_list **stack, struct statement *stmt) --- 34,44 ---- static int is_do_while_zero(struct statement *stmt) { if (!stmt->iterator_post_condition) return 0; ! if (!expr_is_zero(stmt->iterator_post_condition)) return 0; return 1; } static void push_statement(struct statement_list **stack, struct statement *stmt)