10198 static bool regsafe(struct bpf_verifier_env *env, struct bpf_reg_state *rold,  in regsafe()  argument
10203 	if (!(rold->live & REG_LIVE_READ))  in regsafe()
10207 	equal = memcmp(rold, rcur, offsetof(struct bpf_reg_state, parent)) == 0;  in regsafe()
10209 	if (rold->type == PTR_TO_STACK)  in regsafe()
10213 		return equal && rold->frameno == rcur->frameno;  in regsafe()
10218 	if (rold->type == NOT_INIT)  in regsafe()
10223 	switch (rold->type) {  in regsafe()
10228 			if (!rold->precise && !rcur->precise)  in regsafe()
10231 			return range_within(rold, rcur) &&  in regsafe()
10232 			       tnum_in(rold->var_off, rcur->var_off);  in regsafe()
10253 		return memcmp(rold, rcur, offsetof(struct bpf_reg_state, id)) == 0 &&  in regsafe()
10254 		       range_within(rold, rcur) &&  in regsafe()
10255 		       tnum_in(rold->var_off, rcur->var_off);  in regsafe()
10266 		if (memcmp(rold, rcur, offsetof(struct bpf_reg_state, id)))  in regsafe()
10269 		return check_ids(rold->id, rcur->id, idmap);  in regsafe()
10272 		if (rcur->type != rold->type)  in regsafe()
10280 		if (rold->range > rcur->range)  in regsafe()
10285 		if (rold->off != rcur->off)  in regsafe()
10288 		if (rold->id && !check_ids(rold->id, rcur->id, idmap))  in regsafe()
10291 		return range_within(rold, rcur) &&  in regsafe()
10292 		       tnum_in(rold->var_off, rcur->var_off);  in regsafe()