Print this page
12166 resync smatch to 0.6.1-rc1-il-3

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 ↓ 38 lines elided ↑ open up ↑
  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 +static inline void __smatch_debug_db_on(void){}
       50 +static inline void __smatch_debug_db_off(void){}
       51 +
  49   52  static inline void __smatch_debug_implied_on(void){}
  50   53  static inline void __smatch_debug_implied_off(void){}
  51   54  
  52   55  static inline void __smatch_intersection(long long one, long long two){}
  53   56  static inline void __smatch_type(long long one){}
  54   57  
  55   58  static long long __smatch_val;
  56   59  static inline long long __smatch_type_rl_helper(long long type, const char *str, ...)
  57   60  {
  58   61          return __smatch_val;
↓ open down ↓ 21 lines elided ↑ open up ↑
XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX