Searched refs:init_s32_min (Results 1 - 1 of 1) sorted by relevance

/linux-master/kernel/bpf/
H A Dverifier.c6227 s32 init_s32_max, init_s32_min, s32_max, s32_min, u32_val; local
6253 init_s32_min = (s8)reg->s32_min_value;
6257 init_s32_min = (s16)reg->s32_min_value;
6259 s32_max = max(init_s32_max, init_s32_min);
6260 s32_min = min(init_s32_max, init_s32_min);

Completed in 149 milliseconds