Home
last modified time | relevance | path

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

/linux-6.15/kernel/bpf/
H A Dverifier.c14515 u32 *dst_umax = &dst_reg->u32_max_value; in scalar32_min_max_add() local
14523 check_add_overflow(*dst_umax, src_reg->u32_max_value, dst_umax)) { in scalar32_min_max_add()
14525 *dst_umax = U32_MAX; in scalar32_min_max_add()
14535 u64 *dst_umax = &dst_reg->umax_value; in scalar_min_max_add() local
14543 check_add_overflow(*dst_umax, src_reg->umax_value, dst_umax)) { in scalar_min_max_add()
14545 *dst_umax = U64_MAX; in scalar_min_max_add()
14608 if (check_mul_overflow(*dst_umax, src_reg->u32_max_value, dst_umax) || in scalar32_min_max_mul()
14612 *dst_umax = U32_MAX; in scalar32_min_max_mul()
14633 u64 *dst_umax = &dst_reg->umax_value; in scalar_min_max_mul() local
14636 if (check_mul_overflow(*dst_umax, src_reg->umax_value, dst_umax) || in scalar_min_max_mul()
[all …]