Array traversal logic in btf_struct_access() starts from reg_smin(). Update comment to match the logic. Fixes: 0892ef2a7ef3 ("bpf: Representation for intervals with steps") Signed-off-by: Eduard Zingerman --- kernel/bpf/verifier.c | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/kernel/bpf/verifier.c b/kernel/bpf/verifier.c index 5b6200083d05..503c01a36a12 100644 --- a/kernel/bpf/verifier.c +++ b/kernel/bpf/verifier.c @@ -2354,7 +2354,7 @@ static void reg_bounds_sync(struct bpf_reg_state *reg) * potentially w/o intersection, or intersecting after N * tnum_step()'s, where N can be large. On the other hand, * step+base *must* be in sync with r64 in order for - * array traversal logic starting at reg_umin() to be sound. + * array traversal logic starting at reg_smin() to be sound. * Hence, place this as a final step in the reg_bounds_sync(). */ __update_bounds_from_step(reg); -- 2.53.0