2004 			    struct bpf_scc_backedge *backedge)  in add_scc_backedge()  argument
2022 	backedge->next = visit->backedges;  in add_scc_backedge()
2023 	visit->backedges = backedge;  in add_scc_backedge()
2050 	struct bpf_scc_backedge *backedge, *next;  in free_backedges()  local
2052 	for (backedge = visit->backedges; backedge; backedge = next) {  in free_backedges()
2053 		free_verifier_state(&backedge->state, false);  in free_backedges()
2054 		next = backedge->next;  in free_backedges()
2055 		kfree(backedge);  in free_backedges()
20344 	struct bpf_scc_backedge *backedge;  in propagate_backedges()  local
20354 			for (backedge = visit->backedges; backedge; backedge = backedge->next)  in propagate_backedges()
20355 				mark_all_scalars_precise(env, &backedge->state);  in propagate_backedges()
20359 		for (backedge = visit->backedges; backedge; backedge = backedge->next) {  in propagate_backedges()
20360 			st = &backedge->state;  in propagate_backedges()
20727 				struct bpf_scc_backedge *backedge;  in is_state_visited()  local
20729 				backedge = kzalloc_obj(*backedge,  in is_state_visited()
20731 				if (!backedge)  in is_state_visited()
20733 				err = copy_verifier_state(&backedge->state, cur);  in is_state_visited()
20734 				backedge->state.equal_state = &sl->state;  in is_state_visited()
20735 				backedge->state.insn_idx = insn_idx;  in is_state_visited()
20736 				err = err ?: add_scc_backedge(env, &sl->state, backedge);  in is_state_visited()
20738 					free_verifier_state(&backedge->state, false);  in is_state_visited()
20739 					kfree(backedge);  in is_state_visited()