Wow, nice detective work (on the bug). However, the problem is that we should completely restart the evaluation of the delete-expr—as is, we're going to run any pre-statement checkers again. Does adding CXXDeleteExpr to CallEvent::isCallStmt also make the problem go away? http://llvm-reviews.chandlerc.com/D2899