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);