__client_merge_function
struct smatch_state *__client_merge_function(int owner,
ret = __client_merge_function(owner, state1, state2);