> FIXME: This path checker needs to discriminate between different 'self' > symbols when recursing into the -dealloc method in the same class (for > different objects). See test case.
Fixed. I needed a SymbolRef (as expected after I thought about it some more). Wow, that was easy: SymbolRef SelfSymbol = M.getSelfSVal().getAsSymbol(); http://reviews.llvm.org/D5238 _______________________________________________ cfe-commits mailing list [email protected] http://lists.cs.uiuc.edu/mailman/listinfo/cfe-commits
