Print this page
new smatch

Split Close
Expand all
Collapse all
          --- old/usr/src/tools/smatch/src/check_continue_vs_break.c
          +++ new/usr/src/tools/smatch/src/check_continue_vs_break.c
↓ open down ↓ 28 lines elided ↑ open up ↑
  29   29  #include "smatch_slist.h"
  30   30  
  31   31  static int my_id;
  32   32  
  33   33  static struct statement_list *iterator_stack;
  34   34  
  35   35  static int is_do_while_zero(struct statement *stmt)
  36   36  {
  37   37          if (!stmt->iterator_post_condition)
  38   38                  return 0;
  39      -        if (!is_zero(stmt->iterator_post_condition))
       39 +        if (!expr_is_zero(stmt->iterator_post_condition))
  40   40                  return 0;
  41   41          return 1;
  42   42  }
  43   43  
  44   44  static void push_statement(struct statement_list **stack, struct statement *stmt)
  45   45  {
  46   46          add_ptr_list(stack, stmt);
  47   47  }
  48   48  
  49   49  static void pop_statement(struct statement_list **stack)
↓ open down ↓ 79 lines elided ↑ open up ↑
XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX