Home
last modified time | relevance | path

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

/linux/tools/objtool/
H A Dtrace.c111 void trace_insn_state(struct instruction *insn, struct insn_state *sprev, in trace_insn_state()
112 struct insn_state *snext) in trace_insn_state()
117 if (!memcmp(sprev, snext, sizeof(struct insn_state))) in trace_insn_state()
H A Dcheck.c325 static void init_insn_state(struct objtool_file *file, struct insn_state *state, in init_insn_state()
2721 static bool has_modified_stack_frame(struct instruction *insn, struct insn_state *state) in has_modified_stack_frame()
2751 static bool has_valid_stack_frame(struct insn_state *state) in has_valid_stack_frame()
3342 struct insn_state *state) in handle_insn_ops()
3344 struct insn_state prev_state __maybe_unused = *state; in handle_insn_ops()
3531 struct insn_state *state) in validate_call()
3554 struct insn_state *state) in validate_sibling_call()
3564 static int validate_return(struct symbol *func, struct instruction *insn, struct insn_state *state) in validate_return()
3748 struct instruction *insn, struct insn_state state);
3750 struct instruction *insn, struct insn_state *state);
[all …]
/linux/tools/objtool/include/objtool/
H A Dtrace.h108 void trace_insn_state(struct instruction *insn, struct insn_state *sprev,
109 struct insn_state *snext);
H A Dcheck.h13 struct insn_state { struct
/linux/kernel/bpf/
H A Dverifier.c18251 int *insn_state = env->cfg.insn_state; in push_insn() local
18253 if (e == FALLTHROUGH && insn_state[t] >= (DISCOVERED | FALLTHROUGH)) in push_insn()
18256 if (e == BRANCH && insn_state[t] >= (DISCOVERED | BRANCH)) in push_insn()
18271 if (insn_state[w] == 0) { in push_insn()
18273 insn_state[t] = DISCOVERED | e; in push_insn()
18274 insn_state[w] = DISCOVERED; in push_insn()
18279 } else if ((insn_state[w] & 0xF0) == DISCOVERED) { in push_insn()
18286 } else if (insn_state[w] == EXPLORED) { in push_insn()
18288 insn_state[t] = DISCOVERED | e; in push_insn()
18766 int *insn_state = env->cfg.insn_state; in visit_gotox_insn() local
[all …]