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)