db: caller info needs to record the -1 parameters
[smatch.git] / check_debug.h
blob7f8ad66d05fac6d0f7c12809bb5480d53bffc082
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_min(long long val){}
8 static inline void __smatch_implied_max(long long val){}
9 static inline void __smatch_possible(const char *unused){}
10 static inline void __smatch_print_value(const char *unused){}
11 static inline void __smatch_note(const char *note){}
12 static inline void __smatch_debug_on(void){}
13 static inline void __smatch_debug_off(void){}
15 #endif