Merge branch 'master' of /home/dcarpenter/progs/sparse/chris/sparse

[smatch.git] / check_debug.h

static inline void __smatch_cur_slist(void){}
static inline void __smatch_all_values(void){}
static inline void __smatch_print_value(const char *unused){}