merge_str_state
struct smatch_state *merge_str_state(struct smatch_state *s1, struct smatch_state *s2);
add_merge_hook(param_id, &merge_str_state);