diff options
| author | Cupertino Miranda <cupertino.miranda@oracle.com> | 2024-05-06 15:18:45 +0100 |
|---|---|---|
| committer | Alexei Starovoitov <ast@kernel.org> | 2024-05-06 17:09:11 -0700 |
| commit | 0922c78f592c60e5a8fe6ab968479def124d4ff3 (patch) | |
| tree | c1b1bdf43c77e34bc31a2252067487e259a94e86 /drivers | |
| parent | d786957ebd3fb4cfd9147dbcccd1e8f3871b45ce (diff) | |
bpf/verifier: refactor checks for range computation
Split range computation checks in its own function, isolating pessimitic
range set for dst_reg and failing return to a single point.
Signed-off-by: Cupertino Miranda <cupertino.miranda@oracle.com>
Acked-by: Eduard Zingerman <eddyz87@gmail.com>
Cc: Yonghong Song <yonghong.song@linux.dev>
Cc: Alexei Starovoitov <alexei.starovoitov@gmail.com>
Cc: David Faust <david.faust@oracle.com>
Cc: Jose Marchesi <jose.marchesi@oracle.com>
Cc: Elena Zannoni <elena.zannoni@oracle.com>
Cc: Andrii Nakryiko <andrii.nakryiko@gmail.com>
bpf/verifier: improve code after range computation recent changes.
Link: https://lore.kernel.org/r/20240506141849.185293-3-cupertino.miranda@oracle.com
Signed-off-by: Alexei Starovoitov <ast@kernel.org>
Diffstat (limited to 'drivers')
0 files changed, 0 insertions, 0 deletions