Symbol: kill_dead_pseudos
usr/src/tools/smatch/src/example.c
1458
kill_dead_pseudos(state);
usr/src/tools/smatch/src/example.c
989
kill_dead_pseudos(state);