On Jul 20, 2009, at 2:46 PM, Ted Kremenek wrote: > This looks pretty good to me. Do you have any test cases that > specifically tests this new functionality? Yup, I see Analysis/dead-stores.c.