[analyzer] Warn on use of 'self' after call to to [super dealloc].
authorDevin Coughlin <dcoughlin@apple.com>
Thu, 25 Feb 2016 23:36:52 +0000 (23:36 +0000)
committerDevin Coughlin <dcoughlin@apple.com>
Thu, 25 Feb 2016 23:36:52 +0000 (23:36 +0000)
commit591991c86fb5820dec76b0e30871212c3e17969a
tree704310d40410d57e9b4092319a0ca7e309029b9b
parent7bd3499d05de028251b36a373dfcc4ba56a97a41
[analyzer] Warn on use of 'self' after call to to [super dealloc].

Referring to 'self' after a call to [super dealloc] is a use-after-free in
Objective-C because NSObject's -dealloc frees the memory pointed to by self.
This patch extends the ObjCSuperDeallocChecker to catch this error.

rdar://problem/6953275

Differential Revision: http://reviews.llvm.org/D17528

llvm-svn: 261935
clang/lib/StaticAnalyzer/Checkers/ObjCSuperDeallocChecker.cpp
clang/test/Analysis/DeallocUseAfterFreeErrors.m