[PATCH] [analyzer] Implementation of potential undefbehavior.ZeroAllocDereference checker.

[Антон Ярцев]

New patch with comments addressed, please review!


http://reviews.llvm.org/D8273

Files:
  lib/StaticAnalyzer/Checkers/MallocChecker.cpp
  test/Analysis/Malloc+MismatchedDeallocator_intersections.cpp
  test/Analysis/NewDelete-checker-test.cpp
  test/Analysis/NewDelete-intersections.mm
  test/Analysis/malloc.c

EMAIL PREFERENCES
  http://reviews.llvm.org/settings/panel/emailpreferences/
-------------- next part --------------
A non-text attachment was scrubbed...
Name: D8273.22411.patch
Type: text/x-patch
Size: 17752 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/cfe-commits/attachments/20150321/843a8e33/attachment.bin>