[PATCH] [StaticAnalyzer]Handle Destructor call generated by C++ delete expr
kv.bhat at samsung.com
Tue Sep 10 00:42:01 PDT 2013
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