302 static bool range_within(const struct bpf_reg_state *old,  in range_within()
303 			 const struct bpf_reg_state *cur)  in range_within()
445 				struct bpf_reg_state *spill = &st->stack[i].spilled_ptr;  in __clean_func_state()
491 static bool regs_exact(const struct bpf_reg_state *rold,  in regs_exact()
492 		       const struct bpf_reg_state *rcur,  in regs_exact()
495 	return memcmp(rold, rcur, offsetof(struct bpf_reg_state, id)) == 0 &&  in regs_exact()
507 static bool regsafe(struct bpf_verifier_env *env, struct bpf_reg_state *rold,  in regsafe()
508 		    struct bpf_reg_state *rcur, struct bpf_idmap *idmap,  in regsafe()
548 			return memcmp(rold, rcur, offsetof(struct bpf_reg_state, id)) == 0 &&  in regsafe()
618 		return memcmp(rold, rcur, offsetof(struct bpf_reg_state, var_off)) == 0 &&  in regsafe()
652 		return memcmp(rold, rcur, offsetof(struct bpf_reg_state, var_off)) == 0 &&  in regsafe()
659 static struct bpf_reg_state unbound_reg;
690 static struct bpf_reg_state *scalar_reg_for_stack(struct bpf_verifier_env *env,  in scalar_reg_for_stack()
713 		struct bpf_reg_state *old_reg, *cur_reg;  in stacksafe()
855 		struct bpf_reg_state *old_arg, *cur_arg;  in stack_arg_safe()
856 		struct bpf_reg_state not_init = { .type = NOT_INIT };  in stack_arg_safe()
1026 	struct bpf_reg_state *state_reg;  in propagate_precision()
1127 			   offsetof(struct bpf_reg_state, frameno)))  in states_maybe_looping()
1192 	struct bpf_reg_state *slot, *cur_slot;  in iter_active_depths_differ()
1217 	struct bpf_reg_state *reg;  in mark_all_scalars_imprecise()
1335 					struct bpf_reg_state *iter_state, *iter_reg;  in bpf_is_state_visited()