[analyzer] Improve handling of noreturn destructors
authorPavel Labath <labath@google.com>
Wed, 3 Jul 2013 08:23:49 +0000 (08:23 +0000)
committerPavel Labath <labath@google.com>
Wed, 3 Jul 2013 08:23:49 +0000 (08:23 +0000)
commitf77e7368444cc5de3e2e19eed4283ded2ef70db7
treecfa00f84b9b825bda923c62ccb9dcd3b588b625e
parent18c67a158b1a0b58fc843ca47f0d7aa417732d2f
[analyzer] Improve handling of noreturn destructors

Summary:
The analyzer incorrectly handled noreturn destructors which were hidden inside
function calls. This happened because NoReturnFunctionChecker only listened for
PostStmt events, which are not executed for destructor calls. I've changed it to
listen to PostCall events, which should catch both cases.

Reviewers: jordan_rose

CC: cfe-commits
Differential Revision: http://llvm-reviews.chandlerc.com/D1056

llvm-svn: 185522
clang/lib/StaticAnalyzer/Checkers/NoReturnFunctionChecker.cpp
clang/test/Analysis/dtor.cpp