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_capped(long long val){} 17 18 static inline void __smatch_hard_max(long long val){} 19 static inline void __smatch_fuzzy_max(long long val){} 20 21 static inline void __smatch_absolute(long long val){} 22 static inline void __smatch_absolute_min(long long val){} 23 static inline void __smatch_absolute_max(long long val){} 24 static inline void __smatch_real_absolute(long long val){} 25 26 static inline void __smatch_sval_info(long long val){} 27 28 static inline void __smatch_member_name(long long val){} 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_bits(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 72 static inline void __smatch_stree_id(void){} 73 74 static inline void __smatch_mtag(void *p){} 75 static inline void __smatch_mtag_data(long long arg){} 76 static inline void __smatch_exit(void){} 77 78 static inline void __smatch_expr(const char *str, void *p){} 79 80 static inline void __smatch_state_count(void){} 81 static inline void __smatch_mem(void){} 82 83 static inline void __smatch_container(long long container, long long x){} 84 85 #endif