Home
last modified time | relevance | path

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

/Linux-v5.4/kernel/bpf/
Dverifier.c5326 struct bpf_reg_state *false_reg, u64 val, in reg_set_min_max() argument
5337 if (__is_pointer_value(false, false_reg)) in reg_set_min_max()
5348 opcode == BPF_JEQ ? true_reg : false_reg; in reg_set_min_max()
5366 false_reg->var_off = tnum_and(false_reg->var_off, in reg_set_min_max()
5379 false_umax += gen_hi_max(false_reg->var_off); in reg_set_min_max()
5382 false_reg->umax_value = min(false_reg->umax_value, false_umax); in reg_set_min_max()
5395 if (is_jmp32 && !cmp_val_with_extended_s64(sval, false_reg)) in reg_set_min_max()
5397 false_reg->smax_value = min(false_reg->smax_value, false_smax); in reg_set_min_max()
5408 false_umin += gen_hi_min(false_reg->var_off); in reg_set_min_max()
5411 false_reg->umin_value = max(false_reg->umin_value, false_umin); in reg_set_min_max()
[all …]