6256 static int push_insn(int t, int w, int e, struct bpf_verifier_env *env,  in push_insn()  argument
6268 	if (w < 0 || w >= env->prog->len) {  in push_insn()
6270 		verbose(env, "jump out of range from insn %d to %d\n", t, w);  in push_insn()
6276 		init_explored_state(env, w);  in push_insn()
6278 	if (insn_state[w] == 0) {  in push_insn()
6281 		insn_state[w] = DISCOVERED;  in push_insn()
6284 		insn_stack[env->cfg.cur_stack++] = w;  in push_insn()
6286 	} else if ((insn_state[w] & 0xF0) == DISCOVERED) {  in push_insn()
6290 		verbose_linfo(env, w, "%d: ", w);  in push_insn()
6291 		verbose(env, "back-edge from insn %d to %d\n", t, w);  in push_insn()
6293 	} else if (insn_state[w] == EXPLORED) {  in push_insn()