true_reg 5430 kernel/bpf/verifier.c static void reg_set_min_max(struct bpf_reg_state *true_reg, true_reg 5453 kernel/bpf/verifier.c opcode == BPF_JEQ ? true_reg : false_reg; true_reg 5474 kernel/bpf/verifier.c true_reg->var_off = tnum_or(true_reg->var_off, true_reg 5481 kernel/bpf/verifier.c set_lower_bound(true_reg, val, is_jmp32, opcode == BPF_JGT); true_reg 5496 kernel/bpf/verifier.c true_reg->smin_value = max(true_reg->smin_value, true_smin); true_reg 5503 kernel/bpf/verifier.c set_upper_bound(true_reg, val, is_jmp32, opcode == BPF_JLT); true_reg 5515 kernel/bpf/verifier.c true_reg->smax_value = min(true_reg->smax_value, true_smax); true_reg 5523 kernel/bpf/verifier.c __reg_deduce_bounds(true_reg); true_reg 5526 kernel/bpf/verifier.c __reg_bound_offset(true_reg); true_reg 5532 kernel/bpf/verifier.c __update_reg_bounds(true_reg); true_reg 5538 kernel/bpf/verifier.c static void reg_set_min_max_inv(struct bpf_reg_state *true_reg, true_reg 5555 kernel/bpf/verifier.c opcode == BPF_JEQ ? true_reg : false_reg; true_reg 5572 kernel/bpf/verifier.c true_reg->var_off = tnum_or(true_reg->var_off, true_reg 5579 kernel/bpf/verifier.c set_upper_bound(true_reg, val, is_jmp32, opcode == BPF_JGT); true_reg 5591 kernel/bpf/verifier.c true_reg->smax_value = min(true_reg->smax_value, true_smax); true_reg 5598 kernel/bpf/verifier.c set_lower_bound(true_reg, val, is_jmp32, opcode == BPF_JLT); true_reg 5610 kernel/bpf/verifier.c true_reg->smin_value = max(true_reg->smin_value, true_smin); true_reg 5618 kernel/bpf/verifier.c __reg_deduce_bounds(true_reg); true_reg 5621 kernel/bpf/verifier.c __reg_bound_offset(true_reg); true_reg 5627 kernel/bpf/verifier.c __update_reg_bounds(true_reg);