set_start_state
static void set_start_state(const char *name, struct symbol *sym, struct smatch_state *start)