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

Karthik Bhat kv.bhat at samsung.com
Tue Sep 10 00:42:01 PDT 2013

  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.


More information about the cfe-commits mailing list