xref: /illumos-gate/usr/src/tools/smatch/src/check_debug.h (revision 6523a3aa7f325d64841382707603be7a86e68147)
1 #ifndef __SMATCH_CHECK_DEBUG
2 #define __SMATCH_CHECK_DEBUG
3 
__smatch_about(long var)4 static inline void __smatch_about(long var){}
5 
__smatch_cur_stree(void)6 static inline void __smatch_cur_stree(void){}
__smatch_all_values(void)7 static inline void __smatch_all_values(void){}
__smatch_state(const char * check_name,const char * state_name)8 static inline void __smatch_state(const char *check_name, const char *state_name){}
__smatch_states(const char * check_name)9 static inline void __smatch_states(const char *check_name){}
__smatch_value(const char * unused)10 static inline void __smatch_value(const char *unused){}
__smatch_known(long long val)11 static inline void __smatch_known(long long val){}
__smatch_implied(long long val)12 static inline void __smatch_implied(long long val){}
__smatch_implied_min(long long val)13 static inline void __smatch_implied_min(long long val){}
__smatch_implied_max(long long val)14 static inline void __smatch_implied_max(long long val){}
__smatch_user_rl(long long val)15 static inline void __smatch_user_rl(long long val){}
__smatch_capped(long long val)16 static inline void __smatch_capped(long long val){}
17 
__smatch_hard_max(long long val)18 static inline void __smatch_hard_max(long long val){}
__smatch_fuzzy_max(long long val)19 static inline void __smatch_fuzzy_max(long long val){}
20 
__smatch_absolute(long long val)21 static inline void __smatch_absolute(long long val){}
__smatch_absolute_min(long long val)22 static inline void __smatch_absolute_min(long long val){}
__smatch_absolute_max(long long val)23 static inline void __smatch_absolute_max(long long val){}
__smatch_real_absolute(long long val)24 static inline void __smatch_real_absolute(long long val){}
25 
__smatch_sval_info(long long val)26 static inline void __smatch_sval_info(long long val){}
27 
__smatch_member_name(long long val)28 static inline void __smatch_member_name(long long val){}
29 
__smatch_possible(const char * unused)30 static inline void __smatch_possible(const char *unused){}
__smatch_print_value(const char * unused)31 static inline void __smatch_print_value(const char *unused){}
32 
__smatch_strlen(const void * buf)33 static inline void __smatch_strlen(const void *buf){}
__smatch_buf_size(const void * buf)34 static inline void __smatch_buf_size(const void *buf){}
35 
__smatch_note(const char * note)36 static inline void __smatch_note(const char *note){}
37 
__smatch_dump_related(void)38 static inline void __smatch_dump_related(void){}
39 
__smatch_compare(long long one,long long two)40 static inline void __smatch_compare(long long one, long long two){}
41 
__smatch_debug_on(void)42 static inline void __smatch_debug_on(void){}
__smatch_debug_check(const char * check_name)43 static inline void __smatch_debug_check(const char *check_name){}
__smatch_debug_off(void)44 static inline void __smatch_debug_off(void){}
45 
__smatch_local_debug_on(void)46 static inline void __smatch_local_debug_on(void){}
__smatch_local_debug_off(void)47 static inline void __smatch_local_debug_off(void){}
48 
__smatch_debug_db_on(void)49 static inline void __smatch_debug_db_on(void){}
__smatch_debug_db_off(void)50 static inline void __smatch_debug_db_off(void){}
51 
__smatch_debug_implied_on(void)52 static inline void __smatch_debug_implied_on(void){}
__smatch_debug_implied_off(void)53 static inline void __smatch_debug_implied_off(void){}
54 
__smatch_intersection(long long one,long long two)55 static inline void __smatch_intersection(long long one, long long two){}
__smatch_type(long long one)56 static inline void __smatch_type(long long one){}
57 
58 static long long __smatch_val;
__smatch_type_rl_helper(long long type,const char * str,...)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 
__smatch_bits(long long expr)66 static inline void __smatch_bits(long long expr){}
67 
__smatch_oops(unsigned long null_val)68 static inline void __smatch_oops(unsigned long null_val){}
69 
__smatch_merge_tree(long long var)70 static inline void __smatch_merge_tree(long long var){}
71 
__smatch_stree_id(void)72 static inline void __smatch_stree_id(void){}
73 
__smatch_mtag(void * p)74 static inline void __smatch_mtag(void *p){}
__smatch_mtag_data(long long arg)75 static inline void __smatch_mtag_data(long long arg){}
__smatch_exit(void)76 static inline void __smatch_exit(void){}
77 
__smatch_expr(const char * str,void * p)78 static inline void __smatch_expr(const char *str, void *p){}
79 
__smatch_state_count(void)80 static inline void __smatch_state_count(void){}
__smatch_mem(void)81 static inline void __smatch_mem(void){}
82 
__smatch_container(long long container,long long x)83 static inline void __smatch_container(long long container, long long x){}
84 
85 #endif
86