Home
last modified time | relevance | path

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

/illumos-gate/usr/src/tools/smatch/src/
H A Dflow.h31 extern int kill_insn(struct instruction *, int force);
34 return kill_insn(insn, 0); in kill_instruction()
38 return kill_insn(insn, 1); in kill_instruction_force()
H A Dsimplify.c312 int kill_insn(struct instruction *insn, int force) in kill_insn() function
/illumos-gate/usr/src/tools/smatch/src/Documentation/
H A DTODO.md23 - let kill_insn() check killing of SYMADDR,