fix select handling
[smatch.git] / check_debug.h
blob89bad75c945ae788b70f2fa51ebc9412fe6a9009
1 static inline void __smatch_cur_slist(void){}
2 static inline void __smatch_all_values(void){}
3 static inline void __smatch_print_value(const char *unused){}
4 static inline void __smatch_note(const char *note){}