[analyzer] Detect duplicate [super dealloc] calls
authorDevin Coughlin <dcoughlin@apple.com>
Mon, 22 Feb 2016 17:56:24 +0000 (17:56 +0000)
committerDevin Coughlin <dcoughlin@apple.com>
Mon, 22 Feb 2016 17:56:24 +0000 (17:56 +0000)
commiteb6673cfed481ec3200331998f042a5beb5cfae9
treeeea28eeae16bf3e15a5a3a161e0f743fc4988361
parent7bf9187abbdbe5c789528bc4961a56baed2eb303
[analyzer] Detect duplicate [super dealloc] calls

Add an alpha path checker that warns about duplicate calls to [super dealloc].
This will form the foundation of a checker that will detect uses of
'self' after calling [super dealloc].

Part of rdar://problem/6953275.

Based on a patch by David Kilzer!

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

llvm-svn: 261545
clang/lib/StaticAnalyzer/Checkers/CMakeLists.txt
clang/lib/StaticAnalyzer/Checkers/Checkers.td
clang/lib/StaticAnalyzer/Checkers/ObjCSuperDeallocChecker.cpp [new file with mode: 0644]
clang/test/Analysis/DeallocUseAfterFreeErrors.m [new file with mode: 0644]