generic_data: fix up some project related things for smatch_generic
[smatch.git] / check_debug.h
blob91fd9a6728c47cf5072e49d2e685f7e5fdf5e9f1
1 #ifndef __SMATCH_CHECK_DEBUG
2 #define __SMATCH_CHECK_DEBUG
4 static inline void __smatch_about(long var){}
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){}
18 static inline void __smatch_hard_max(long long val){}
19 static inline void __smatch_fuzzy_max(long long val){}
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){}
26 static inline void __smatch_sval_info(long long val){}
28 static inline void __smatch_member_name(long long val){}
30 static inline void __smatch_possible(const char *unused){}
31 static inline void __smatch_print_value(const char *unused){}
33 static inline void __smatch_strlen(const void *buf){}
34 static inline void __smatch_buf_size(const void *buf){}
35 static inline void __smatch_buf_size_rl(const void *buf){}
37 static inline void __smatch_note(const char *note){}
39 static inline void __smatch_dump_related(void){}
41 static inline void __smatch_compare(long long one, long long two){}
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_off(void){}
47 static inline void __smatch_local_debug_on(void){}
48 static inline void __smatch_local_debug_off(void){}
50 static inline void __smatch_debug_implied_on(void){}
51 static inline void __smatch_debug_implied_off(void){}
53 static inline void __smatch_intersection(long long one, long long two){}
54 static inline void __smatch_type(long long one){}
56 static inline void __smatch_type_rl_helper(long long type, const char *str, ...){}
57 #define __smatch_type_rl(type, rl, other...) __smatch_type_rl_helper((type)0, rl, other)
59 static inline void __smatch_bit_info(long long expr){}
61 static inline void __smatch_oops(unsigned long null_val){}
63 static inline void __smatch_merge_tree(long long var){}
65 static inline void __smatch_stree_id(void){}
67 #endif