Symbol: is_dead_reg
usr/src/tools/smatch/src/example.c
935
if (!is_dead_reg(state, src2, reg2))
usr/src/tools/smatch/src/example.c
937
if (!is_dead_reg(state, src1, reg1))