*new* input_free_device: don't call this after input_unregister_device()
[smatch.git] / check_debug.h
blobe552b7bf74f15b112c81a2b466687d4eb0b82ed5
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_print_value(const char *unused){}
5 static inline void __smatch_note(const char *note){}
6 static inline void __smatch_debug_on(void){}
7 static inline void __smatch_debug_off(void){}