By looking at createEndOfPath, we would probably report on the next statement if there was one after the second delete: const Stmt *S = getStmt(N); if (!S) S = getNextStmt(N); http://llvm-reviews.chandlerc.com/D1594