Home
last modified time | relevance | path

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

/Linux-v6.6/kernel/bpf/
Dverifier.c13725 s32 true_smin = opcode == BPF_JSGT ? sval32 + 1 : sval32; in reg_set_min_max() local
13728 true_reg->s32_min_value = max(true_reg->s32_min_value, true_smin); in reg_set_min_max()
13731 s64 true_smin = opcode == BPF_JSGT ? sval + 1 : sval; in reg_set_min_max() local
13734 true_reg->smin_value = max(true_reg->smin_value, true_smin); in reg_set_min_max()