kernel/bpf/verifier.c

1616 	struct bpf_verifier_state *topmost = st->loop_entry, *old;
1618 	while (topmost && topmost->loop_entry && topmost != topmost->loop_entry)
1619 		topmost = topmost->loop_entry;
1623 	while (st && st->loop_entry != topmost) {
1624 		old = st->loop_entry;
1625 		st->loop_entry = topmost;
1641 	 * no need to update cur->loop_entry.
1644 		cur->loop_entry = hdr;
1659 		if (br == 0 && st->parent && st->loop_entry)
1660 			update_loop_entry(st->parent, st->loop_entry);
17329 	struct bpf_verifier_state *cur = env->cur_state, *new, *loop_entry;
17505 		loop_entry = get_loop_entry(&sl->state);
17506 		force_exact = loop_entry && loop_entry->branches > 0;
17509 				update_loop_entry(cur, loop_entry);