Searched refs:subseq_idx (Results 1 – 2 of 2) sorted by relevance
| /linux-6.15/tools/testing/selftests/bpf/ |
| H A D | test_verifier.c | 1422 int subseq_idx = find_insn_subseq(seq, subseqs, in find_all_insn_subseqs() local
1425 if (subseq_idx < 0) in find_all_insn_subseqs()
1427 seq += subseq_idx + cur_subseq_len; in find_all_insn_subseqs()
1428 seq_len -= subseq_idx + cur_subseq_len; in find_all_insn_subseqs()
|
| /linux-6.15/kernel/bpf/ |
| H A D | verifier.c | 4160 static int backtrack_insn(struct bpf_verifier_env *env, int idx, int subseq_idx, in backtrack_insn() argument
4280 WARN_ONCE(idx + 1 != subseq_idx, "verifier backtracking bug"); in backtrack_insn()
4324 } else if (is_sync_callback_calling_insn(insn) && idx != subseq_idx - 1) { in backtrack_insn()
4376 if (subseq_idx >= 0 && calls_callback(env, subseq_idx)) in backtrack_insn()
4393 r0_precise = subseq_idx - 1 >= 0 && in backtrack_insn()
4394 bpf_pseudo_call(&env->prog->insnsi[subseq_idx - 1]) && in backtrack_insn()
4661 int subseq_idx = -1; in __mark_chain_precision() local
4698 bt->frame, last_idx, first_idx, subseq_idx); in __mark_chain_precision()
4734 err = backtrack_insn(env, i, subseq_idx, hist, bt); in __mark_chain_precision()
4749 subseq_idx = i; in __mark_chain_precision()
[all …]
|