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 _______________________________________________ cfe-commits mailing list [email protected] http://lists.cs.uiuc.edu/mailman/listinfo/cfe-commits
