Home
last modified time | relevance | path

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

/linux/kernel/bpf/
H A Dverifier.c15112 u32 *dst_umax = &dst_reg->u32_max_value; in scalar32_min_max_add() local
15129 max_overflow = check_add_overflow(*dst_umax, umax_val, dst_umax); in scalar32_min_max_add()
15133 *dst_umax = U32_MAX; in scalar32_min_max_add()
15143 u64 *dst_umax = &dst_reg->umax_value; in scalar_min_max_add() local
15160 max_overflow = check_add_overflow(*dst_umax, umax_val, dst_umax); in scalar_min_max_add()
15164 *dst_umax = U64_MAX; in scalar_min_max_add()
15174 u32 *dst_umax = &dst_reg->u32_max_value; in scalar32_min_max_sub() local
15192 max_underflow = check_sub_overflow(*dst_umax, umin_val, dst_umax); in scalar32_min_max_sub()
15196 *dst_umax = U32_MAX; in scalar32_min_max_sub()
15206 u64 *dst_umax = &dst_reg->umax_value; in scalar_min_max_sub() local
[all …]