Searched refs:s32_min (Results 1 - 1 of 1) sorted by last modified time

/linux-master/kernel/bpf/
H A Dverifier.c6242 s32 init_s32_max, init_s32_min, s32_max, s32_min, u32_val; local
6265 /* find the s32_min and s32_min after sign extension */
6275 s32_min = min(init_s32_max, init_s32_min);
6277 if ((s32_min >= 0) == (s32_max >= 0)) {
6278 reg->s32_min_value = s32_min;
6280 reg->u32_min_value = (u32)s32_min;

Completed in 337 milliseconds