free can handle null pointers: if (foo) free(foo);

[smatch.git] / check_debug.h

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