Home
last modified time | relevance | path

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

/linux/kernel/bpf/
H A Dverifier.c13959 s32 *dst_smax = &dst_reg->s32_max_value; in scalar32_min_max_add() local
13967 check_add_overflow(*dst_smax, src_reg->s32_max_value, dst_smax)) { in scalar32_min_max_add()
13969 *dst_smax = S32_MAX; in scalar32_min_max_add()
13990 s64 *dst_smax = &dst_reg->smax_value; in scalar_min_max_add() local
13998 check_add_overflow(*dst_smax, src_reg->smax_value, dst_smax)) { in scalar_min_max_add()
14000 *dst_smax = S64_MAX; in scalar_min_max_add()
14021 s32 *dst_smax = &dst_reg->s32_max_value; in scalar32_min_max_sub() local
14029 check_sub_overflow(*dst_smax, src_reg->s32_min_value, dst_smax)) { in scalar32_min_max_sub()
14032 *dst_smax = S32_MAX; in scalar32_min_max_sub()
14053 s64 *dst_smax = &dst_reg->smax_value; in scalar_min_max_sub() local
[all …]