check_debug.h

   1 #ifndef __SMATCH_CHECK_DEBUG
   2 #define __SMATCH_CHECK_DEBUG
   3
   4 static inline void __smatch_about(long var){}
   5
   6 static inline void __smatch_cur_stree(void){}
   7 static inline void __smatch_all_values(void){}
   8 static inline void __smatch_state(const char *check_name, const char *state_name){}
   9 static inline void __smatch_states(const char *check_name){}
  10 static inline void __smatch_value(const char *unused){}
  11 static inline void __smatch_known(long long val){}
  12 static inline void __smatch_implied(long long val){}
  13 static inline void __smatch_implied_min(long long val){}
  14 static inline void __smatch_implied_max(long long val){}
  15 static inline void __smatch_user_rl(long long val){}
  16 static inline void __smatch_host_rl(long long val){}
  17 static inline void __smatch_capped(long long val){}
  18
  19 static inline void __smatch_hard_max(long long val){}
  20 static inline void __smatch_fuzzy_max(long long val){}
  21
  22 static inline void __smatch_absolute(long long val){}
  23 static inline void __smatch_absolute_min(long long val){}
  24 static inline void __smatch_absolute_max(long long val){}
  25 static inline void __smatch_real_absolute(long long val){}
  26
  27 static inline void __smatch_sval_info(long long val){}
  28
  29 static inline void __smatch_member_name(long long val){}
  30
  31 static inline void __smatch_possible(const char *unused){}
  32 static inline void __smatch_print_value(const char *unused){}
  33
  34 static inline void __smatch_strlen(const void *buf){}
  35 static inline void __smatch_buf_size(const void *buf){}
  36
  37 static inline void __smatch_note(const char *note){}
  38
  39 static inline void __smatch_dump_related(void){}
  40
  41 static inline void __smatch_compare(long long one, long long two){}
  42
  43 static inline void __smatch_debug_on(void){}
  44 static inline void __smatch_debug_check(const char *check_name){}
  45 static inline void __smatch_debug_var(const char *var_name){}
  46 static inline void __smatch_debug_state_cnt(void){}
  47 static inline void __smatch_debug_off(void){}
  48
  49 static inline void __smatch_local_debug_on(void){}
  50 static inline void __smatch_local_debug_off(void){}
  51
  52 static inline void __smatch_debug_db_on(void){}
  53 static inline void __smatch_debug_db_off(void){}
  54
  55 static inline void __smatch_debug_implied_on(void){}
  56 static inline void __smatch_debug_implied_off(void){}
  57
  58 static inline void __smatch_intersection(long long one, long long two){}
  59 static inline void __smatch_type(long long one){}
  60
  61 static long long __smatch_val;
  62 static inline long long __smatch_type_rl_helper(long long type, const char *str, ...)
  63 {
  64         return __smatch_val;
  65 }
  66 #define __smatch_type_rl(type, fmt...) __smatch_type_rl_helper((type)0, fmt)
  67 #define __smatch_rl(fmt...) __smatch_type_rl(long long, fmt)
  68
  69 static inline void __smatch_bits(long long expr){}
  70
  71 static inline void __smatch_oops(unsigned long null_val){}
  72
  73 static inline void __smatch_merge_tree(long long var){}
  74
  75 static inline void __smatch_stree_id(void){}
  76
  77 static inline void __smatch_mtag(void *p){}
  78 static inline void __smatch_mtag_data(long long arg){}
  79 static inline void __smatch_exit(void){}
  80
  81 static inline void __smatch_expr(const char *str, void *p){}
  82
  83 static inline void __smatch_state_count(void){}
  84 static inline void __smatch_mem(void){}
  85
  86 static inline void __smatch_units(long long var){}
  87
  88 static inline void __smatch_timer_start(void){}
  89 static inline void __smatch_timer_stop(void){}
  90
  91 static inline void __smatch_container(long long container, long long x){}
  92 static inline void __smatch_param_key(long long val){}
  93
  94 #endif