merge_link_states
struct smatch_state *merge_link_states(struct smatch_state *s1, struct smatch_state *s2);
add_merge_hook(link_id, &merge_link_states);