Home
last modified time | relevance | path

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

/linux/kernel/bpf/
H A Dverifier.c15110 s32 *dst_smax = &dst_reg->s32_max_value; in scalar32_min_max_add() local
15118 check_add_overflow(*dst_smax, src_reg->s32_max_value, dst_smax)) { in scalar32_min_max_add()
15120 *dst_smax = S32_MAX; in scalar32_min_max_add()
15141 s64 *dst_smax = &dst_reg->smax_value; in scalar_min_max_add() local
15149 check_add_overflow(*dst_smax, src_reg->smax_value, dst_smax)) { in scalar_min_max_add()
15151 *dst_smax = S64_MAX; in scalar_min_max_add()
15172 s32 *dst_smax = &dst_reg->s32_max_value; in scalar32_min_max_sub() local
15180 check_sub_overflow(*dst_smax, src_reg->s32_min_value, dst_smax)) { in scalar32_min_max_sub()
15183 *dst_smax = S32_MAX; in scalar32_min_max_sub()
15204 s64 *dst_smax = &dst_reg->smax_value; in scalar_min_max_sub() local
[all …]