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

[David Kilzer]

Hi jordan_rose, zaks.anna, krememek,

Implement a path checker that warns about duplicate calls to
[super dealloc].  This is the first step before re-implementing
the use-after-free checks using a path checker (see D5042).

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.

http://reviews.llvm.org/D5238

Files:
  lib/StaticAnalyzer/Checkers/Checkers.td
  lib/StaticAnalyzer/Checkers/ObjCSuperDeallocChecker.cpp
  test/Analysis/DeallocUseAfterFreeErrors.m
-------------- next part --------------
A non-text attachment was scrubbed...
Name: D5238.13380.patch
Type: text/x-patch
Size: 14348 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/cfe-commits/attachments/20140908/4d1e7e39/attachment.bin>