diff options
| author | Eduard Zingerman <eddyz87@gmail.com> | 2026-10-09 03:47:44 -0700 |
|---|---|---|
| committer | Alexei Starovoitov <ast@kernel.org> | 2026-10-09 20:29:13 +0000 |
| commit | bc2afa09c07e84973121053b4f7fd7a759faa71b (patch) | |
| tree | 7e4f9a10e41b314aa89f5a548fc2dfe110e51ef6 /kernel | |
| parent | f849c3a145eb243ef1c4b08ec320a2538c9e722b (diff) | |
| download | linux-next-bc2afa09c07e84973121053b4f7fd7a759faa71b.tar.gz linux-next-bc2afa09c07e84973121053b4f7fd7a759faa71b.zip | |
bpf: Add bpf_mark_reg_known_scalar()
Provide a helper to set a register to a known scalar value for use outside
verifier.c. To be used by SCEV widening logic.
Signed-off-by: Eduard Zingerman <eddyz87@gmail.com>
Signed-off-by: Alexei Starovoitov <ast@kernel.org>
Link: https://patch.msgid.link/20261009-scev-minimal-rebase-v3-26-bcba9bc53ac9@gmail.com
Diffstat (limited to 'kernel')
| -rw-r--r-- | kernel/bpf/verifier.c | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/kernel/bpf/verifier.c b/kernel/bpf/verifier.c index 585303d28690..743fc2f3c24b 100644 --- a/kernel/bpf/verifier.c +++ b/kernel/bpf/verifier.c @@ -2057,6 +2057,12 @@ static void __mark_reg_known(struct bpf_reg_state *reg, u64 imm) ___mark_reg_known(reg, imm); } +void bpf_mark_reg_known_scalar(struct bpf_reg_state *reg, u64 imm) +{ + __mark_reg_known(reg, imm); + reg->type = SCALAR_VALUE; +} + static void __mark_reg32_known(struct bpf_reg_state *reg, u64 imm) { reg->var_off = tnum_const_subreg(reg->var_off, imm); |