Home
last modified time | relevance | path

Searched refs:subseq_idx (Results 1 - 2 of 2) sorted by relevance

/kernel/linux/linux-6.6/tools/testing/selftests/bpf/
H A Dtest_verifier.c1471 int subseq_idx = find_insn_subseq(seq, subseqs, in find_all_insn_subseqs() local
1474 if (subseq_idx < 0) in find_all_insn_subseqs()
1476 seq += subseq_idx + cur_subseq_len; in find_all_insn_subseqs()
1477 seq_len -= subseq_idx + cur_subseq_len; in find_all_insn_subseqs()
/kernel/linux/linux-6.6/kernel/bpf/
H A Dverifier.c3635 * @subseq_idx is an index of the subsequent instruction that:
3639 static int backtrack_insn(struct bpf_verifier_env *env, int idx, int subseq_idx, in backtrack_insn() argument
3765 WARN_ONCE(idx + 1 != subseq_idx, "verifier backtracking bug"); in backtrack_insn()
3805 } else if (is_sync_callback_calling_insn(insn) && idx != subseq_idx - 1) { in backtrack_insn()
3807 * kfunc call. Use idx/subseq_idx check to discern it from in backtrack_insn()
3847 * the inner frame 'subseq_idx' is a part of the outer frame. in backtrack_insn()
3854 if (subseq_idx >= 0 && calls_callback(env, subseq_idx)) in backtrack_insn()
3865 * whether the instruction at subseq_idx-1 is subprog in backtrack_insn()
3871 r0_precise = subseq_idx in backtrack_insn()
4224 int subseq_idx = -1; __mark_chain_precision() local
[all...]

Completed in 19 milliseconds