184 	int insn_idx;  member
416 	int insn_idx;  in pop_stack()  local
422 	insn_idx = env->head->insn_idx;  in pop_stack()
429 	return insn_idx;  in pop_stack()
432 static struct verifier_state *push_stack(struct verifier_env *env, int insn_idx,  in push_stack()  argument
442 	elem->insn_idx = insn_idx;  in push_stack()
1176 			     struct bpf_insn *insn, int *insn_idx)  in check_cond_jmp_op()  argument
1225 			*insn_idx += insn->off;  in check_cond_jmp_op()
1236 	other_branch = push_stack(env, *insn_idx + insn->off + 1, *insn_idx);  in check_cond_jmp_op()
1668 static int is_state_visited(struct verifier_env *env, int insn_idx)  in is_state_visited()  argument
1673 	sl = env->explored_states[insn_idx];  in is_state_visited()
1701 	new_sl->next = env->explored_states[insn_idx];  in is_state_visited()
1702 	env->explored_states[insn_idx] = new_sl;  in is_state_visited()
1712 	int insn_idx, prev_insn_idx = 0;  in do_check()  local
1717 	insn_idx = 0;  in do_check()
1723 		if (insn_idx >= insn_cnt) {  in do_check()
1725 				insn_idx, insn_cnt);  in do_check()
1729 		insn = &insns[insn_idx];  in do_check()
1738 		err = is_state_visited(env, insn_idx);  in do_check()
1746 						prev_insn_idx, insn_idx);  in do_check()
1748 					verbose("%d: safe\n", insn_idx);  in do_check()
1754 			verbose("\nfrom %d to %d:", prev_insn_idx, insn_idx);  in do_check()
1760 			verbose("%d: ", insn_idx);  in do_check()
1795 				insn_idx++;  in do_check()
1827 				insn_idx++;  in do_check()
1901 				insn_idx += insn->off + 1;  in do_check()
1929 				insn_idx = pop_stack(env, &prev_insn_idx);  in do_check()
1930 				if (insn_idx < 0) {  in do_check()
1937 				err = check_cond_jmp_op(env, insn, &insn_idx);  in do_check()
1954 				insn_idx++;  in do_check()
1964 		insn_idx++;  in do_check()