Home
last modified time | relevance | path

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

/Linux-v5.10/kernel/bpf/
Dverifier.c6980 static void reg_set_min_max(struct bpf_reg_state *true_reg, in reg_set_min_max() argument
6987 struct tnum true_32off = tnum_subreg(true_reg->var_off); in reg_set_min_max()
6988 struct tnum true_64off = true_reg->var_off; in reg_set_min_max()
7006 opcode == BPF_JEQ ? true_reg : false_reg; in reg_set_min_max()
7044 true_reg->u32_min_value = max(true_reg->u32_min_value, in reg_set_min_max()
7051 true_reg->umin_value = max(true_reg->umin_value, true_umin); in reg_set_min_max()
7063 true_reg->s32_min_value = max(true_reg->s32_min_value, true_smin); in reg_set_min_max()
7069 true_reg->smin_value = max(true_reg->smin_value, true_smin); in reg_set_min_max()
7082 true_reg->u32_max_value = min(true_reg->u32_max_value, in reg_set_min_max()
7089 true_reg->umax_value = min(true_reg->umax_value, true_umax); in reg_set_min_max()
[all …]