Symbol: kill_store
usr/src/tools/smatch/src/ssa.c
118
kill_store(insn);
usr/src/tools/smatch/src/ssa.c
160
kill_store(store);
usr/src/tools/smatch/src/ssa.c
285
kill_store(insn);