extra, db: we have to record every function call in the db
[smatch.git] / check_debug.h
blobaa36bf569f2007681c18ea520d98f825cb875602
1 static inline void __smatch_cur_slist(void){}
2 static inline void __smatch_all_values(void){}
3 static inline void __smatch_value(const char *unused){}
4 static inline void __smatch_possible(const char *unused){}
5 static inline void __smatch_print_value(const char *unused){}
6 static inline void __smatch_note(const char *note){}
7 static inline void __smatch_debug_on(void){}
8 static inline void __smatch_debug_off(void){}