Home
last modified time | relevance | path

Searched refs:tnum_next (Results 1 – 1 of 1) sorted by relevance

/linux/kernel/bpf/
H A Dverifier.c2389 u64 tnum_next, tmax; in __update_reg64_bounds() local
2403 tnum_next = tnum_step(reg->var_off, reg->umin_value); in __update_reg64_bounds()
2406 if (umin_in_tnum && tnum_next > reg->umax_value) { in __update_reg64_bounds()
2412 } else if (!umin_in_tnum && tnum_next == tmax) { in __update_reg64_bounds()
2419 } else if (!umin_in_tnum && tnum_next <= reg->umax_value && in __update_reg64_bounds()
2420 tnum_step(reg->var_off, tnum_next) > reg->umax_value) { in __update_reg64_bounds()
2426 ___mark_reg_known(reg, tnum_next); in __update_reg64_bounds()