[PATCH] [analyzer] Detect duplicate [super dealloc] calls

[David Kilzer]

> 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