Symbol: kill_instruction_force
usr/src/tools/smatch/src/flow.c
447
kill_instruction_force(insn);
usr/src/tools/smatch/src/flow.c
512
kill_instruction_force(insn);
usr/src/tools/smatch/src/flow.c
560
kill_instruction_force(insn);
usr/src/tools/smatch/src/memops.c
179
kill_instruction_force(dom);