Lines Matching refs:loop_entry
1613 struct bpf_verifier_state *topmost = st->loop_entry, *old; in get_loop_entry()
1615 while (topmost && topmost->loop_entry && topmost != topmost->loop_entry) in get_loop_entry()
1616 topmost = topmost->loop_entry; in get_loop_entry()
1620 while (st && st->loop_entry != topmost) { in get_loop_entry()
1621 old = st->loop_entry; in get_loop_entry()
1622 st->loop_entry = topmost; in get_loop_entry()
1641 cur->loop_entry = hdr; in update_loop_entry()
1656 if (br == 0 && st->parent && st->loop_entry) in update_branch_counts()
1657 update_loop_entry(st->parent, st->loop_entry); in update_branch_counts()
17877 struct bpf_verifier_state *cur = env->cur_state, *new, *loop_entry; in is_state_visited() local
18056 loop_entry = get_loop_entry(&sl->state); in is_state_visited()
18057 force_exact = loop_entry && loop_entry->branches > 0; in is_state_visited()
18060 update_loop_entry(cur, loop_entry); in is_state_visited()