false_reg        5431 kernel/bpf/verifier.c 			    struct bpf_reg_state *false_reg, u64 val,
false_reg        5442 kernel/bpf/verifier.c 	if (__is_pointer_value(false, false_reg))
false_reg        5453 kernel/bpf/verifier.c 			opcode == BPF_JEQ ? true_reg : false_reg;
false_reg        5471 kernel/bpf/verifier.c 		false_reg->var_off = tnum_and(false_reg->var_off,
false_reg        5480 kernel/bpf/verifier.c 		set_upper_bound(false_reg, val, is_jmp32, opcode == BPF_JGE);
false_reg        5493 kernel/bpf/verifier.c 		if (is_jmp32 && !cmp_val_with_extended_s64(sval, false_reg))
false_reg        5495 kernel/bpf/verifier.c 		false_reg->smax_value = min(false_reg->smax_value, false_smax);
false_reg        5502 kernel/bpf/verifier.c 		set_lower_bound(false_reg, val, is_jmp32, opcode == BPF_JLE);
false_reg        5512 kernel/bpf/verifier.c 		if (is_jmp32 && !cmp_val_with_extended_s64(sval, false_reg))
false_reg        5514 kernel/bpf/verifier.c 		false_reg->smin_value = max(false_reg->smin_value, false_smin);
false_reg        5522 kernel/bpf/verifier.c 	__reg_deduce_bounds(false_reg);
false_reg        5525 kernel/bpf/verifier.c 	__reg_bound_offset(false_reg);
false_reg        5531 kernel/bpf/verifier.c 	__update_reg_bounds(false_reg);
false_reg        5539 kernel/bpf/verifier.c 				struct bpf_reg_state *false_reg, u64 val,
false_reg        5544 kernel/bpf/verifier.c 	if (__is_pointer_value(false, false_reg))
false_reg        5555 kernel/bpf/verifier.c 			opcode == BPF_JEQ ? true_reg : false_reg;
false_reg        5569 kernel/bpf/verifier.c 		false_reg->var_off = tnum_and(false_reg->var_off,
false_reg        5578 kernel/bpf/verifier.c 		set_lower_bound(false_reg, val, is_jmp32, opcode == BPF_JGE);
false_reg        5588 kernel/bpf/verifier.c 		if (is_jmp32 && !cmp_val_with_extended_s64(sval, false_reg))
false_reg        5590 kernel/bpf/verifier.c 		false_reg->smin_value = max(false_reg->smin_value, false_smin);
false_reg        5597 kernel/bpf/verifier.c 		set_upper_bound(false_reg, val, is_jmp32, opcode == BPF_JLE);
false_reg        5607 kernel/bpf/verifier.c 		if (is_jmp32 && !cmp_val_with_extended_s64(sval, false_reg))
false_reg        5609 kernel/bpf/verifier.c 		false_reg->smax_value = min(false_reg->smax_value, false_smax);
false_reg        5617 kernel/bpf/verifier.c 	__reg_deduce_bounds(false_reg);
false_reg        5620 kernel/bpf/verifier.c 	__reg_bound_offset(false_reg);
false_reg        5626 kernel/bpf/verifier.c 	__update_reg_bounds(false_reg);