diff options
| author | Matthias Krüger <matthias.krueger@famsik.de> | 2023-02-02 17:14:06 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2023-02-02 17:14:06 +0100 |
| commit | 6917040cf095f6d116b82184aa005f3eb02c482c (patch) | |
| tree | 56513ade37fe73c98d3d4e4e32c2d968780551dc /compiler/rustc_codegen_llvm/src | |
| parent | 230c9e91fdeffa7acee1bca0f30a4855835a86e2 (diff) | |
| parent | e8ac0404bdff209b9c542e772bf391800924ebf8 (diff) | |
| download | rust-6917040cf095f6d116b82184aa005f3eb02c482c.tar.gz rust-6917040cf095f6d116b82184aa005f3eb02c482c.zip | |
Rollup merge of #107524 - cjgillot:both-storage, r=RalfJung
Remove both StorageLive and StorageDead in CopyProp. Fixes https://github.com/rust-lang/rust/issues/107511 https://github.com/rust-lang/rust/pull/106908 removed StorageDead without the accompanying StorageLive. In loops, execution would see repeated StorageLive, without any StorageDead, which is UB. So when removing storage statements, we have to remove both StorageLive and StorageDead. ~I also added a MIR validation pass for StorageLive. It may be a bit overzealous.~
Diffstat (limited to 'compiler/rustc_codegen_llvm/src')
0 files changed, 0 insertions, 0 deletions