Symbol: kill_dead_stores
usr/src/tools/smatch/src/flow.h
17
extern void kill_dead_stores(struct entrypoint *ep, pseudo_t addr, int local);
usr/src/tools/smatch/src/memops.c
211
kill_dead_stores(ep, pseudo, local_pseudo(pseudo));
usr/src/tools/smatch/src/ssa.c
254
kill_dead_stores(ep, addr, !mod);