184 	int insn_idx;  member
415 	int insn_idx;  in pop_stack()  local
421 	insn_idx = env->head->insn_idx;  in pop_stack()
428 	return insn_idx;  in pop_stack()
431 static struct verifier_state *push_stack(struct verifier_env *env, int insn_idx,  in push_stack()  argument
441 	elem->insn_idx = insn_idx;  in push_stack()
1053 			     struct bpf_insn *insn, int *insn_idx)  in check_cond_jmp_op()  argument
1096 			*insn_idx += insn->off;  in check_cond_jmp_op()
1107 	other_branch = push_stack(env, *insn_idx + insn->off + 1, *insn_idx);  in check_cond_jmp_op()
1535 static int is_state_visited(struct verifier_env *env, int insn_idx)  in is_state_visited()  argument
1540 	sl = env->explored_states[insn_idx];  in is_state_visited()
1568 	new_sl->next = env->explored_states[insn_idx];  in is_state_visited()
1569 	env->explored_states[insn_idx] = new_sl;  in is_state_visited()
1579 	int insn_idx, prev_insn_idx = 0;  in do_check()  local
1584 	insn_idx = 0;  in do_check()
1590 		if (insn_idx >= insn_cnt) {  in do_check()
1592 				insn_idx, insn_cnt);  in do_check()
1596 		insn = &insns[insn_idx];  in do_check()
1605 		err = is_state_visited(env, insn_idx);  in do_check()
1613 						prev_insn_idx, insn_idx);  in do_check()
1615 					verbose("%d: safe\n", insn_idx);  in do_check()
1621 			verbose("\nfrom %d to %d:", prev_insn_idx, insn_idx);  in do_check()
1627 			verbose("%d: ", insn_idx);  in do_check()
1662 				insn_idx++;  in do_check()
1692 				insn_idx++;  in do_check()
1760 				insn_idx += insn->off + 1;  in do_check()
1783 				insn_idx = pop_stack(env, &prev_insn_idx);  in do_check()
1784 				if (insn_idx < 0) {  in do_check()
1791 				err = check_cond_jmp_op(env, insn, &insn_idx);  in do_check()
1808 				insn_idx++;  in do_check()
1818 		insn_idx++;  in do_check()