kernel/bpf/verifier.c

15779 	int *insn_state = env->cfg.insn_state;
15781 	if (e == FALLTHROUGH && insn_state[t] >= (DISCOVERED | FALLTHROUGH))
15784 	if (e == BRANCH && insn_state[t] >= (DISCOVERED | BRANCH))
15799 	if (insn_state[w] == 0) {
15801 		insn_state[t] = DISCOVERED | e;
15802 		insn_state[w] = DISCOVERED;
15807 	} else if ((insn_state[w] & 0xF0) == DISCOVERED) {
15814 	} else if (insn_state[w] == EXPLORED) {
15816 		insn_state[t] = DISCOVERED | e;
15954 	int *insn_stack, *insn_state;
15958 	insn_state = env->cfg.insn_state = kvcalloc(insn_cnt, sizeof(int), GFP_KERNEL);
15959 	if (!insn_state)
15964 		kvfree(insn_state);
15968 	insn_state[0] = DISCOVERED; /* mark 1st insn as discovered */
15979 			insn_state[t] = EXPLORED;
16002 		insn_state[ex_insn_beg] = DISCOVERED;
16012 		if (insn_state[i] != EXPLORED) {
16018 			if (insn_state[i + 1] != 0) {
16029 	kvfree(insn_state);
16031 	env->cfg.insn_state = env->cfg.insn_stack = NULL;