12724 update smatch to 0.6.1-rc1-il-5

          --- old/usr/src/tools/smatch/src/check_debug.h
          +++ new/usr/src/tools/smatch/src/check_debug.h

   1    1  #ifndef __SMATCH_CHECK_DEBUG
   2    2  #define __SMATCH_CHECK_DEBUG
   3    3  
   4    4  static inline void __smatch_about(long var){}
   5    5  
   6    6  static inline void __smatch_cur_stree(void){}
   7    7  static inline void __smatch_all_values(void){}
   8    8  static inline void __smatch_state(const char *check_name, const char *state_name){}
   9    9  static inline void __smatch_states(const char *check_name){}
  10   10  static inline void __smatch_value(const char *unused){}
  11   11  static inline void __smatch_known(long long val){}
  12   12  static inline void __smatch_implied(long long val){}
  13   13  static inline void __smatch_implied_min(long long val){}
  14   14  static inline void __smatch_implied_max(long long val){}
  15   15  static inline void __smatch_user_rl(long long val){}
  16   16  static inline void __smatch_capped(long long val){}
  17   17  
  18   18  static inline void __smatch_hard_max(long long val){}
  19   19  static inline void __smatch_fuzzy_max(long long val){}
  20   20  
  21   21  static inline void __smatch_absolute(long long val){}
  22   22  static inline void __smatch_absolute_min(long long val){}
  23   23  static inline void __smatch_absolute_max(long long val){}
  24   24  static inline void __smatch_real_absolute(long long val){}
  25   25  
  26   26  static inline void __smatch_sval_info(long long val){}
  27   27  
  28   28  static inline void __smatch_member_name(long long val){}
  29   29  
  30   30  static inline void __smatch_possible(const char *unused){}
  31   31  static inline void __smatch_print_value(const char *unused){}
  32   32  
  33   33  static inline void __smatch_strlen(const void *buf){}
  34   34  static inline void __smatch_buf_size(const void *buf){}
  35   35  
  36   36  static inline void __smatch_note(const char *note){}
  37   37  
  38   38  static inline void __smatch_dump_related(void){}
  39   39  
  40   40  static inline void __smatch_compare(long long one, long long two){}
  41   41  
  42   42  static inline void __smatch_debug_on(void){}
  43   43  static inline void __smatch_debug_check(const char *check_name){}
  44   44  static inline void __smatch_debug_off(void){}
  45   45  
  46   46  static inline void __smatch_local_debug_on(void){}
  47   47  static inline void __smatch_local_debug_off(void){}
  48   48  
  49   49  static inline void __smatch_debug_db_on(void){}
  50   50  static inline void __smatch_debug_db_off(void){}
  51   51  
  52   52  static inline void __smatch_debug_implied_on(void){}
  53   53  static inline void __smatch_debug_implied_off(void){}
  54   54  
  55   55  static inline void __smatch_intersection(long long one, long long two){}

  56   56  static inline void __smatch_type(long long one){}
  57   57  
  58   58  static long long __smatch_val;
  59   59  static inline long long __smatch_type_rl_helper(long long type, const char *str, ...)
  60   60  {
  61   61          return __smatch_val;
  62   62  }
  63   63  #define __smatch_type_rl(type, fmt...) __smatch_type_rl_helper((type)0, fmt)
  64   64  #define __smatch_rl(fmt...) __smatch_type_rl(long long, fmt)
  65   65  
  66      -static inline void __smatch_bit_info(long long expr){}
       66 +static inline void __smatch_bits(long long expr){}
  67   67  
  68   68  static inline void __smatch_oops(unsigned long null_val){}
  69   69  
  70   70  static inline void __smatch_merge_tree(long long var){}
  71   71  
  72   72  static inline void __smatch_stree_id(void){}
  73   73  
  74   74  static inline void __smatch_mtag(void *p){}
  75   75  static inline void __smatch_mtag_data(long long arg){}
  76   76  static inline void __smatch_exit(void){}
  77   77  
       78 +static inline void __smatch_expr(const char *str, void *p){}
       79 +
  78   80  static inline void __smatch_state_count(void){}
  79   81  static inline void __smatch_mem(void){}
  80   82  
  81   83  static inline void __smatch_container(long long container, long long x){}
       84 +
  82   85  #endif
    

XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX