merge_states
struct smatch_state *merge_states(struct smatch_state *s1, struct smatch_state *s2)
static struct smatch_state *merge_states(int owner, const char *name,
static struct smatch_state *merge_states(struct smatch_state *s1, struct smatch_state *s2)