[PATCH] [analyzer] Detect duplicate [super dealloc] calls
David Kilzer
ddkilzer at kilzer.net
Mon Sep 8 11:38:14 PDT 2014
> 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
More information about the cfe-commits
mailing list