tree 4d27cac259d5c42947fd03414982a1c04b50b6c1
parent da9df754b12fb0d930a242b1b10b3438b7c75666
author Devin Coughlin <dcoughlin@apple.com> 1488390519 +0000
committer Devin Coughlin <dcoughlin@apple.com> 1488394169 -0800

[analyzer] pr32088: Don't destroy the temporary if its initializer causes return.

In the following code involving GNU statement-expression extension:
  struct S {
    ~S();
  };

  void foo() {
    const S &x = ({ return; S(); });
  }
function 'foo()' returns before reference x is initialized. We shouldn't call
the destructor for the temporary object lifetime-extended by 'x' in this case,
because the object never gets constructed in the first place.

The real problem is probably in the CFG somewhere, so this is a quick-and-dirty
hotfix rather than the perfect solution.

A patch by Artem Dergachev!

rdar://problem/30759076

Differential Revision: https://reviews.llvm.org/D30499

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@296646 91177308-0d34-0410-b5e6-96231b3b80d8
(cherry picked from commit 162132fe03c8c2b02735f2adfd4e2dc421488006)

Integration into swift-3.1-branch is tracked by rdar://problem/30784915