state1
(void) strcpy(STATE, state1);
change_of_state_str(char *state1, char *check1, char *state2, char *check2)
if ((strcmp(state1, check1) == 0) && (strcmp(state2, check2) != 0))
if ((strcmp(state1, check1) != 0) && (strcmp(state2, check2) == 0))
struct smatch_state *state1,
if (state1 == state2)
ret = state1;
ret = __client_merge_function(owner, state1, state2);
else if (state1 == &ghost)
ret = state1;
else if (!state1 || !state2)