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

[Karthik Bhat]

  Hi Jordan,
  Thanks for the input.
  I have a doubt here. Can DestVal be unknown here in VisitCXXDestructor? SVal in this case is created from a memory region (Dest). I'm always getting the baseKind as LocKind (LVal) may be if you could mention a case were this can be unknown it would make this clearer for me as i'm a bit confused on this one.
  Testing null handling wont be difficult. Yes as you mentioned we can use NoReturnDtor to check if destructor is called for a null pointer. I have already added testDeleteNull which tests this case.

  P.S. I tried using ProgramState::isNull and assume on State but it seems to crash.

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