1310 static int *insn_state;  variable
1319 	if (e == FALLTHROUGH && insn_state[t] >= (DISCOVERED | FALLTHROUGH))  in push_insn()
1322 	if (e == BRANCH && insn_state[t] >= (DISCOVERED | BRANCH))  in push_insn()
1334 	if (insn_state[w] == 0) {  in push_insn()
1336 		insn_state[t] = DISCOVERED | e;  in push_insn()
1337 		insn_state[w] = DISCOVERED;  in push_insn()
1342 	} else if ((insn_state[w] & 0xF0) == DISCOVERED) {  in push_insn()
1345 	} else if (insn_state[w] == EXPLORED) {  in push_insn()
1347 		insn_state[t] = DISCOVERED | e;  in push_insn()
1365 	insn_state = kcalloc(insn_cnt, sizeof(int), GFP_KERNEL);  in check_cfg()
1366 	if (!insn_state)  in check_cfg()
1371 		kfree(insn_state);  in check_cfg()
1375 	insn_state[0] = DISCOVERED; /* mark 1st insn as discovered */  in check_cfg()
1438 	insn_state[t] = EXPLORED;  in check_cfg()
1448 		if (insn_state[i] != EXPLORED) {  in check_cfg()
1457 	kfree(insn_state);  in check_cfg()