kernel/bpf/verifier.c

11363

return reg_bounds_sanity_check(env, ret_reg, "retval");

kernel/bpf/verifier.c

16601

return reg_bounds_sanity_check(env, &regs[insn->dst_reg], "alu");

kernel/bpf/verifier.c

17187

err = reg_bounds_sanity_check(env, true_reg1, "true_reg1");

kernel/bpf/verifier.c

17188

err = err ?: reg_bounds_sanity_check(env, true_reg2, "true_reg2");

kernel/bpf/verifier.c

17189

err = err ?: reg_bounds_sanity_check(env, false_reg1, "false_reg1");

kernel/bpf/verifier.c

17190

err = err ?: reg_bounds_sanity_check(env, false_reg2, "false_reg2");

kernel/bpf/verifier.c

2917

return reg_bounds_sanity_check(env, reg, "s32_range");

kernel/bpf/verifier.c

8001

err = err ?: reg_bounds_sanity_check(env, &regs[insn->dst_reg], ctx);