Searched refs:EXPLORED (Results 1 – 1 of 1) sorted by relevance
47 EXPLORED = 0x20, enumerator150 } else if (insn_state[w] == EXPLORED) { in push_insn()620 insn_state[t] = EXPLORED; in bpf_check_cfg()640 if (ex_insn_beg && insn_state[ex_insn_beg] != EXPLORED) { in bpf_check_cfg()650 if (insn_state[i] != EXPLORED) { in bpf_check_cfg()712 if (state[top] & EXPLORED) { in bpf_compute_postorder()724 state[top] |= EXPLORED; in bpf_compute_postorder()