Searched refs:EXPLORED (Results 1 – 1 of 1) sorted by relevance
45 EXPLORED = 0x20, enumerator140 } else if (insn_state[w] == EXPLORED) { in push_insn()595 insn_state[t] = EXPLORED; in bpf_check_cfg()615 if (ex_insn_beg && insn_state[ex_insn_beg] != EXPLORED) { in bpf_check_cfg()625 if (insn_state[i] != EXPLORED) { in bpf_check_cfg()678 if (state[top] & EXPLORED) { in bpf_compute_postorder()690 state[top] |= EXPLORED; in bpf_compute_postorder()