[PATCH] [analyzer] Detect use-after-free scenarios in -dealloc after calling [super dealloc]

[David Kilzer]

Rebase after Diff 13121 was added to D5023.

http://reviews.llvm.org/D5042

Files:
  lib/StaticAnalyzer/Checkers/CheckObjCDealloc.cpp
  test/Analysis/DeallocUseAfterFreeErrors.m
  tools/clang-check/Makefile
  tools/driver/Makefile
-------------- next part --------------
A non-text attachment was scrubbed...
Name: D5042.13122.patch
Type: text/x-patch
Size: 13003 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/cfe-commits/attachments/20140830/f7ce8ccd/attachment.bin>