merge_compare_states
struct smatch_state *merge_compare_states(struct smatch_state *s1, struct smatch_state *s2);
add_merge_hook(comparison_id, &merge_compare_states);
add_merge_hook(compare_id, &merge_compare_states);