Home
last modified time | relevance | path

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

/Linux-v6.6/kernel/bpf/
Dverifier.c13763 s32 true_smax = opcode == BPF_JSLT ? sval32 - 1 : sval32; in reg_set_min_max() local
13766 true_reg->s32_max_value = min(true_reg->s32_max_value, true_smax); in reg_set_min_max()
13769 s64 true_smax = opcode == BPF_JSLT ? sval - 1 : sval; in reg_set_min_max() local
13772 true_reg->smax_value = min(true_reg->smax_value, true_smax); in reg_set_min_max()