smatch_extra: improve and fix assignment handling
[smatch.git] / check_debug.h
blob07f7f0e154b9236ac0a4e1b8d18dc15217d98916
1 static inline void __smatch_all_values(void){}
2 static inline void __smatch_print_value(char *unused){}