17118 	int *insn_state = env->cfg.insn_state;  in push_insn()  local
17120 	if (e == FALLTHROUGH && insn_state[t] >= (DISCOVERED | FALLTHROUGH))  in push_insn()
17123 	if (e == BRANCH && insn_state[t] >= (DISCOVERED | BRANCH))  in push_insn()
17138 	if (insn_state[w] == 0) {  in push_insn()
17140 		insn_state[t] = DISCOVERED | e;  in push_insn()
17141 		insn_state[w] = DISCOVERED;  in push_insn()
17146 	} else if ((insn_state[w] & 0xF0) == DISCOVERED) {  in push_insn()
17153 	} else if (insn_state[w] == EXPLORED) {  in push_insn()
17155 		insn_state[t] = DISCOVERED | e;  in push_insn()
17574 	int *insn_stack, *insn_state, *insn_postorder;  in check_cfg()  local
17577 	insn_state = env->cfg.insn_state = kvcalloc(insn_cnt, sizeof(int), GFP_KERNEL);  in check_cfg()
17578 	if (!insn_state)  in check_cfg()
17583 		kvfree(insn_state);  in check_cfg()
17589 		kvfree(insn_state);  in check_cfg()
17598 	insn_state[0] = DISCOVERED; /* mark 1st insn as discovered */  in check_cfg()
17609 			insn_state[t] = EXPLORED;  in check_cfg()
17630 	if (ex_insn_beg && insn_state[ex_insn_beg] != EXPLORED) {  in check_cfg()
17631 		insn_state[ex_insn_beg] = DISCOVERED;  in check_cfg()
17640 		if (insn_state[i] != EXPLORED) {  in check_cfg()
17646 			if (insn_state[i + 1] != 0) {  in check_cfg()
17659 	kvfree(insn_state);  in check_cfg()
17661 	env->cfg.insn_state = env->cfg.insn_stack = NULL;  in check_cfg()