1878 	struct bpf_scc_visit *visit;  in scc_visit_alloc()  local
1892 	visit = &info->visits[num_visits];  in scc_visit_alloc()
1893 	memset(visit, 0, sizeof(*visit));  in scc_visit_alloc()
1894 	memcpy(&visit->callchain, callchain, sizeof(*callchain));  in scc_visit_alloc()
1895 	return visit;  in scc_visit_alloc()
1922 	struct bpf_scc_visit *visit;  in maybe_enter_scc()  local
1926 	visit = scc_visit_lookup(env, callchain);  in maybe_enter_scc()
1927 	visit = visit ?: scc_visit_alloc(env, callchain);  in maybe_enter_scc()
1928 	if (!visit)  in maybe_enter_scc()
1930 	if (!visit->entry_state) {  in maybe_enter_scc()
1931 		visit->entry_state = st;  in maybe_enter_scc()
1938 static int propagate_backedges(struct bpf_verifier_env *env, struct bpf_scc_visit *visit);
1947 	struct bpf_scc_visit *visit;  in maybe_exit_scc()  local
1951 	visit = scc_visit_lookup(env, callchain);  in maybe_exit_scc()
1952 	if (!visit) {  in maybe_exit_scc()
1972 	if (visit->entry_state != st)  in maybe_exit_scc()
1976 	visit->entry_state = NULL;  in maybe_exit_scc()
1977 	env->num_backedges -= visit->num_backedges;  in maybe_exit_scc()
1978 	visit->num_backedges = 0;  in maybe_exit_scc()
1980 	return propagate_backedges(env, visit);  in maybe_exit_scc()
1991 	struct bpf_scc_visit *visit;  in add_scc_backedge()  local
1998 	visit = scc_visit_lookup(env, callchain);  in add_scc_backedge()
1999 	if (!visit) {  in add_scc_backedge()
2006 	backedge->next = visit->backedges;  in add_scc_backedge()
2007 	visit->backedges = backedge;  in add_scc_backedge()
2008 	visit->num_backedges++;  in add_scc_backedge()
2022 	struct bpf_scc_visit *visit;  in incomplete_read_marks()  local
2026 	visit = scc_visit_lookup(env, callchain);  in incomplete_read_marks()
2027 	if (!visit)  in incomplete_read_marks()
2029 	return !!visit->backedges;  in incomplete_read_marks()
2032 static void free_backedges(struct bpf_scc_visit *visit)  in free_backedges()  argument
2036 	for (backedge = visit->backedges; backedge; backedge = next) {  in free_backedges()
2041 	visit->backedges = NULL;  in free_backedges()
19577 static int propagate_backedges(struct bpf_verifier_env *env, struct bpf_scc_visit *visit)  in propagate_backedges()  argument
19589 			for (backedge = visit->backedges; backedge; backedge = backedge->next)  in propagate_backedges()
19594 		for (backedge = visit->backedges; backedge; backedge = backedge->next) {  in propagate_backedges()
19602 	free_backedges(visit);  in propagate_backedges()