HomePhabricator

[analyzer] Add very limited support for temporary destructors

Authored by labath on Sep 2 2013, 2:09 AM.

Description

[analyzer] Add very limited support for temporary destructors

This is an improved version of r186498. It enables ExprEngine to reason about
temporary object destructors. However, these destructor calls are never
inlined, since this feature is still broken. Still, this is sufficient to
properly handle noreturn temporary destructors.

Now, the analyzer correctly handles expressions like "a || A()", and executes the
destructor of "A" only on the paths where "a" evaluted to false.

Temporary destructor processing is still off by default and one has to
explicitly request it by setting cfg-temporary-dtors=true.

Reviewers: jordan_rose

CC: cfe-commits

Differential Revision: http://llvm-reviews.chandlerc.com/D1259

llvm-svn: 189746

Details

Committed
labathSep 2 2013, 2:09 AM
Parents
rGd95129060cc1: [CMake] Don't build sanitizer runtimes if LLVM_USE_SANITIZER is specified
Branches
Unknown
Tags
Unknown