29 
  30 static inline void __smatch_possible(const char *unused){}
  31 static inline void __smatch_print_value(const char *unused){}
  32 
  33 static inline void __smatch_strlen(const void *buf){}
  34 static inline void __smatch_buf_size(const void *buf){}
  35 
  36 static inline void __smatch_note(const char *note){}
  37 
  38 static inline void __smatch_dump_related(void){}
  39 
  40 static inline void __smatch_compare(long long one, long long two){}
  41 
  42 static inline void __smatch_debug_on(void){}
  43 static inline void __smatch_debug_check(const char *check_name){}
  44 static inline void __smatch_debug_off(void){}
  45 
  46 static inline void __smatch_local_debug_on(void){}
  47 static inline void __smatch_local_debug_off(void){}
  48 



  49 static inline void __smatch_debug_implied_on(void){}
  50 static inline void __smatch_debug_implied_off(void){}
  51 
  52 static inline void __smatch_intersection(long long one, long long two){}
  53 static inline void __smatch_type(long long one){}
  54 
  55 static long long __smatch_val;
  56 static inline long long __smatch_type_rl_helper(long long type, const char *str, ...)
  57 {
  58         return __smatch_val;
  59 }
  60 #define __smatch_type_rl(type, fmt...) __smatch_type_rl_helper((type)0, fmt)
  61 #define __smatch_rl(fmt...) __smatch_type_rl(long long, fmt)
  62 
  63 static inline void __smatch_bit_info(long long expr){}
  64 
  65 static inline void __smatch_oops(unsigned long null_val){}
  66 
  67 static inline void __smatch_merge_tree(long long var){}
  68 

  29 
  30 static inline void __smatch_possible(const char *unused){}
  31 static inline void __smatch_print_value(const char *unused){}
  32 
  33 static inline void __smatch_strlen(const void *buf){}
  34 static inline void __smatch_buf_size(const void *buf){}
  35 
  36 static inline void __smatch_note(const char *note){}
  37 
  38 static inline void __smatch_dump_related(void){}
  39 
  40 static inline void __smatch_compare(long long one, long long two){}
  41 
  42 static inline void __smatch_debug_on(void){}
  43 static inline void __smatch_debug_check(const char *check_name){}
  44 static inline void __smatch_debug_off(void){}
  45 
  46 static inline void __smatch_local_debug_on(void){}
  47 static inline void __smatch_local_debug_off(void){}
  48 
  49 static inline void __smatch_debug_db_on(void){}
  50 static inline void __smatch_debug_db_off(void){}
  51 
  52 static inline void __smatch_debug_implied_on(void){}
  53 static inline void __smatch_debug_implied_off(void){}
  54 
  55 static inline void __smatch_intersection(long long one, long long two){}
  56 static inline void __smatch_type(long long one){}
  57 
  58 static long long __smatch_val;
  59 static inline long long __smatch_type_rl_helper(long long type, const char *str, ...)
  60 {
  61         return __smatch_val;
  62 }
  63 #define __smatch_type_rl(type, fmt...) __smatch_type_rl_helper((type)0, fmt)
  64 #define __smatch_rl(fmt...) __smatch_type_rl(long long, fmt)
  65 
  66 static inline void __smatch_bit_info(long long expr){}
  67 
  68 static inline void __smatch_oops(unsigned long null_val){}
  69 
  70 static inline void __smatch_merge_tree(long long var){}
  71