15515 static bool regs_exact(const struct bpf_reg_state *rold,  in regs_exact()  argument
15519 	return memcmp(rold, rcur, offsetof(struct bpf_reg_state, id)) == 0 &&  in regs_exact()
15520 	       check_ids(rold->id, rcur->id, idmap) &&  in regs_exact()
15521 	       check_ids(rold->ref_obj_id, rcur->ref_obj_id, idmap);  in regs_exact()
15525 static bool regsafe(struct bpf_verifier_env *env, struct bpf_reg_state *rold,  in regsafe()  argument
15528 	if (!(rold->live & REG_LIVE_READ))  in regsafe()
15531 	if (rold->type == NOT_INIT)  in regsafe()
15558 	if (rold->type != rcur->type)  in regsafe()
15561 	switch (base_type(rold->type)) {  in regsafe()
15567 			return memcmp(rold, rcur, offsetof(struct bpf_reg_state, id)) == 0 &&  in regsafe()
15568 			       check_scalar_ids(rold->id, rcur->id, idmap);  in regsafe()
15570 		if (!rold->precise)  in regsafe()
15596 		return range_within(rold, rcur) &&  in regsafe()
15597 		       tnum_in(rold->var_off, rcur->var_off) &&  in regsafe()
15598 		       check_scalar_ids(rold->id, rcur->id, idmap);  in regsafe()
15607 		return memcmp(rold, rcur, offsetof(struct bpf_reg_state, var_off)) == 0 &&  in regsafe()
15608 		       range_within(rold, rcur) &&  in regsafe()
15609 		       tnum_in(rold->var_off, rcur->var_off) &&  in regsafe()
15610 		       check_ids(rold->id, rcur->id, idmap) &&  in regsafe()
15611 		       check_ids(rold->ref_obj_id, rcur->ref_obj_id, idmap);  in regsafe()
15620 		if (rold->range > rcur->range)  in regsafe()
15625 		if (rold->off != rcur->off)  in regsafe()
15628 		if (!check_ids(rold->id, rcur->id, idmap))  in regsafe()
15631 		return range_within(rold, rcur) &&  in regsafe()
15632 		       tnum_in(rold->var_off, rcur->var_off);  in regsafe()
15637 		return regs_exact(rold, rcur, idmap) && rold->frameno == rcur->frameno;  in regsafe()
15639 		return regs_exact(rold, rcur, idmap);  in regsafe()