Home
last modified time | relevance | path

Searched refs:insn_state (Results 1 - 1 of 1) sorted by relevance

/device/soc/rockchip/common/sdk_linux/kernel/bpf/
H A Dverifier.c8349 int *insn_state = env->cfg.insn_state; in push_insn() local
8351 if (e == FALLTHROUGH && insn_state[t] >= (DISCOVERED | FALLTHROUGH)) { in push_insn()
8355 if (e == BRANCH && insn_state[t] >= (DISCOVERED | BRANCH)) { in push_insn()
8370 if (insn_state[w] == 0) { in push_insn()
8372 insn_state[t] = DISCOVERED | e; in push_insn()
8373 insn_state[w] = DISCOVERED; in push_insn()
8379 } else if ((insn_state[w] & 0xF0) == DISCOVERED) { in push_insn()
8387 } else if (insn_state[w] == EXPLORED) { in push_insn()
8389 insn_state[ in push_insn()
8404 int *insn_stack, *insn_state; check_cfg() local
[all...]

Completed in 14 milliseconds