db: print return_states information in a more detailed way
[smatch.git] / check_debug.h
blob85fe047ae22743fd47694f230f3f2a3828cbcdb9
1 #ifndef __SMATCH_CHECK_DEBUG
2 #define __SMATCH_CHECK_DEBUG
4 static inline void __smatch_cur_slist(void){}
5 static inline void __smatch_all_values(void){}
6 static inline void __smatch_value(const char *unused){}
7 static inline void __smatch_implied(long long val){}
8 static inline void __smatch_implied_min(long long val){}
9 static inline void __smatch_implied_max(long long val){}
11 static inline void __smatch_hard_max(long long val){}
12 static inline void __smatch_fuzzy_max(long long val){}
14 static inline void __smatch_absolute_min(long long val){}
15 static inline void __smatch_absolute_max(long long val){}
17 static inline void __smatch_sval_info(long long val){}
19 static inline void __smatch_possible(const char *unused){}
20 static inline void __smatch_print_value(const char *unused){}
22 static inline void __smatch_buf_size(const void *buf){}
24 static inline void __smatch_note(const char *note){}
26 static inline void __smatch_dump_related(void){}
28 static inline void __smatch_debug_on(void){}
29 static inline void __smatch_debug_off(void){}
31 static inline void __smatch_local_debug_on(void){}
32 static inline void __smatch_local_debug_off(void){}
34 static inline void __smatch_debug_implied_on(void){}
35 static inline void __smatch_debug_implied_off(void){}
37 #endif