Home
last modified time | relevance | path

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

/Linux-v5.4/kernel/bpf/
Dverifier.c5325 static void reg_set_min_max(struct bpf_reg_state *true_reg, in reg_set_min_max() argument
5348 opcode == BPF_JEQ ? true_reg : false_reg; in reg_set_min_max()
5369 true_reg->var_off = tnum_or(true_reg->var_off, in reg_set_min_max()
5380 true_umin += gen_hi_min(true_reg->var_off); in reg_set_min_max()
5383 true_reg->umin_value = max(true_reg->umin_value, true_umin); in reg_set_min_max()
5398 true_reg->smin_value = max(true_reg->smin_value, true_smin); in reg_set_min_max()
5409 true_umax += gen_hi_max(true_reg->var_off); in reg_set_min_max()
5412 true_reg->umax_value = min(true_reg->umax_value, true_umax); in reg_set_min_max()
5424 true_reg->smax_value = min(true_reg->smax_value, true_smax); in reg_set_min_max()
5432 __reg_deduce_bounds(true_reg); in reg_set_min_max()
[all …]