Home
last modified time | relevance | path

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

/openbmc/linux/kernel/bpf/
H A Dverifier.c14173 s32 true_smin = opcode == BPF_JSGT ? sval32 + 1 : sval32; in reg_set_min_max() local
14176 true_reg->s32_min_value = max(true_reg->s32_min_value, true_smin); in reg_set_min_max()
14179 s64 true_smin = opcode == BPF_JSGT ? sval + 1 : sval; in reg_set_min_max() local
14182 true_reg->smin_value = max(true_reg->smin_value, true_smin); in reg_set_min_max()