Home
last modified time | relevance | path

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

/linux/kernel/bpf/
H A Dverifier.c15030 s32 tmp_prod[4]; in scalar32_min_max_mul() local
15038 if (check_mul_overflow(*dst_smin, src_reg->s32_min_value, &tmp_prod[0]) || in scalar32_min_max_mul()
15039 check_mul_overflow(*dst_smin, src_reg->s32_max_value, &tmp_prod[1]) || in scalar32_min_max_mul()
15040 check_mul_overflow(*dst_smax, src_reg->s32_min_value, &tmp_prod[2]) || in scalar32_min_max_mul()
15041 check_mul_overflow(*dst_smax, src_reg->s32_max_value, &tmp_prod[3])) { in scalar32_min_max_mul()
15046 *dst_smin = min_array(tmp_prod, 4); in scalar32_min_max_mul()
15047 *dst_smax = max_array(tmp_prod, 4); in scalar32_min_max_mul()
15058 s64 tmp_prod[4]; in scalar_min_max_mul() local
15066 if (check_mul_overflow(*dst_smin, src_reg->smin_value, &tmp_prod[0]) || in scalar_min_max_mul()
15067 check_mul_overflow(*dst_smin, src_reg->smax_value, &tmp_prod[1]) || in scalar_min_max_mul()
[all …]