Home
last modified time | relevance | path

Searched refs:DISCOVERED (Results 1 – 1 of 1) sorted by relevance

/linux/kernel/bpf/
H A Dverifier.c18106 DISCOVERED = 0x10, enumerator
18157 if (e == FALLTHROUGH && insn_state[t] >= (DISCOVERED | FALLTHROUGH)) in push_insn()
18160 if (e == BRANCH && insn_state[t] >= (DISCOVERED | BRANCH)) in push_insn()
18177 insn_state[t] = DISCOVERED | e; in push_insn()
18178 insn_state[w] = DISCOVERED; in push_insn()
18183 } else if ((insn_state[w] & 0xF0) == DISCOVERED) { in push_insn()
18192 insn_state[t] = DISCOVERED | e; in push_insn()
18702 insn_state[w] |= DISCOVERED; in visit_gotox_insn()
18879 insn_state[0] = DISCOVERED; /* mark 1st insn as discovered */ in check_cfg()
18911 insn_state[ex_insn_beg] = DISCOVERED; in check_cfg()
[all …]