Print this page
12724 update smatch to 0.6.1-rc1-il-5

Split Close
Expand all
Collapse all
          --- old/usr/src/tools/smatch/src/check_debug.h
          +++ new/usr/src/tools/smatch/src/check_debug.h
↓ open down ↓ 55 lines elided ↑ open up ↑
  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