set_state
static void set_state(enable)
set_state(int *pstate, wchar_t c, char *pc)
struct sm_state *set_state(int owner, const char *name, struct symbol *sym, struct smatch_state *state)
set_state(ufs_failure_t *f, ufs_failure_states_t new_state)