[PATCH] [StaticAnalyzer]Handle Destructor call generated by C++ delete expr

[Karthik Bhat]

  Hi Jordan,
  Implemented review comments.
  1) Handled UnknownVal in VisitCXXDestructor.
  2) Added more test cases (testNullDtorDerived, testNullAssigneddtor, testNulldtorArg)

  I found one more issue during testing. In case of double delete; there is no actual stmt corresponding to
  classInstance->~myDestructor call. This was resulting in a crash in MallocChecker. Handled the same and added a test case.

  Please let me know your input on the same.
  Thanks!

Hi jordan_rose,

http://llvm-reviews.chandlerc.com/D1594

CHANGE SINCE LAST DIFF
  http://llvm-reviews.chandlerc.com/D1594?vs=4090&id=4222#toc

Files:
  test/Analysis/NewDelete-checker-test.cpp
  test/Analysis/new.cpp
  include/clang/Analysis/CFG.h
  lib/StaticAnalyzer/Checkers/MallocChecker.cpp
  lib/StaticAnalyzer/Core/ExprEngine.cpp
  lib/StaticAnalyzer/Core/CallEvent.cpp
  lib/StaticAnalyzer/Core/ExprEngineCXX.cpp
-------------- next part --------------
A non-text attachment was scrubbed...
Name: D1594.4.patch
Type: text/x-patch
Size: 7807 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/cfe-commits/attachments/20130912/ef1b0dd0/attachment.bin>