From: bors <bors@rust-lang.org>
Date: Fri, 10 Apr 2020 06:14:47 +0000 (+0000)
Subject: Auto merge of #70447 - ecstatic-morse:storage-live-always, r=tmandry
X-Git-Url: https://git.lizzy.rs/?a=commitdiff_plain;h=96d77f0e5f103612d62b85938aacfb33f5768433;p=rust.git

Auto merge of #70447 - ecstatic-morse:storage-live-always, r=tmandry

Add utility to find locals that don't use `StorageLive` annotations and use it for `MaybeStorageLive`

Addresses https://github.com/rust-lang/rust/pull/70004#issuecomment-599271717 (cc @RalfJung).

The only dataflow analysis that is incorrect in this case is `MaybeStorageLive`. `transform/generator.rs` implemented custom handling for this class of locals, but other consumers of this analysis (there's one in [clippy](https://github.com/rust-lang/rust-clippy/blob/513b46793e98ce5b412d388a91f6371d6a9b290b/clippy_lints/src/redundant_clone.rs#L402)) would be incorrect.

r? @tmandry
---

96d77f0e5f103612d62b85938aacfb33f5768433