On Aug 11, 2010, at 12:06 AM, Zhongxing Xu wrote: > + bool isDead(SymbolRef sym) const { > + return TheDead.count(sym); > + } > }; This isn't quite right. isDead() should just be the negative of 'isLive()'.