Home
last modified time | relevance | path

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

/linux/kernel/bpf/
H A Dverifier.c2048 u64 tnum_next, tmax; in __update_reg64_bounds() local
2054 tnum_next = tnum_step(reg->var_off, reg_umin(reg)); in __update_reg64_bounds()
2057 if (umin_in_tnum && tnum_next > reg_umax(reg)) { in __update_reg64_bounds()
2063 } else if (!umin_in_tnum && tnum_next == tmax) { in __update_reg64_bounds()
2070 } else if (!umin_in_tnum && tnum_next <= reg_umax(reg) && in __update_reg64_bounds()
2071 tnum_step(reg->var_off, tnum_next) > reg_umax(reg)) { in __update_reg64_bounds()
2077 ___mark_reg_known(reg, tnum_next); in __update_reg64_bounds()