kernel/bpf/verifier.c

2960 	int i, subprog_start, subprog_end, off, cur_subprog = 0;
2967 	subprog_end = subprog[cur_subprog + 1].start;
2986 		if (off < subprog_start || off >= subprog_end) {
2991 		if (i == subprog_end - 1) {
3002 			subprog_start = subprog_end;
3005 				subprog_end = subprog[cur_subprog + 1].start;
5869 	int depth = 0, frame = 0, i, subprog_end;
5909 	subprog_end = subprog[idx + 1].start;
5910 	for (; i < subprog_end; i++) {
19113 	int i, j, subprog_start, subprog_end = 0, len, subprog;
19164 		subprog_start = subprog_end;
19165 		subprog_end = env->subprog_info[i + 1].start;
19167 		len = subprog_end - subprog_start;
19195 			if (poke->insn_idx < subprog_end &&