On Tue, 2024-08-27 at 12:48 -0700, Martin KaFai Lau wrote: [...] > @@ -19705,6 +19705,9 @@ static int convert_ctx_accesses(struct bpf_verifier_env *env) > } > } > > + if (delta) > + WARN_ON(adjust_jmp_off(env->prog, 0, delta, delta)); > + I double checked my old calculations and agree that this adjustment is necessary. Alexei's suggestion to use delta == skip_cnt sounds reasonable. > if (bpf_prog_is_offloaded(env->prog->aux)) > return 0; > [...]