diff options
| author | Jakob Degen <jakob.e.degen@gmail.com> | 2022-04-05 17:14:59 -0400 |
|---|---|---|
| committer | Jakob Degen <jakob.e.degen@gmail.com> | 2022-04-11 08:55:03 -0400 |
| commit | a923e9211a6adf4c78dd5f095a514455039e5fb4 (patch) | |
| tree | 4ee28328ccf51dfaeb2eb17a438cb815b68b3c90 | |
| parent | f2d2ec3e93532feb28a2d5e86632c38d8d75f9a5 (diff) | |
| download | rust-a923e9211a6adf4c78dd5f095a514455039e5fb4.tar.gz rust-a923e9211a6adf4c78dd5f095a514455039e5fb4.zip | |
Add new `Deinit` statement kind
| -rw-r--r-- | src/base.rs | 1 | ||||
| -rw-r--r-- | src/constant.rs | 1 |
2 files changed, 2 insertions, 0 deletions
diff --git a/src/base.rs b/src/base.rs index a9ff710c91e..8c45993a8b7 100644 --- a/src/base.rs +++ b/src/base.rs @@ -772,6 +772,7 @@ fn codegen_stmt<'tcx>( } StatementKind::StorageLive(_) | StatementKind::StorageDead(_) + | StatementKind::Deinit(_) | StatementKind::Nop | StatementKind::FakeRead(..) | StatementKind::Retag { .. } diff --git a/src/constant.rs b/src/constant.rs index 4657791345b..57074f00210 100644 --- a/src/constant.rs +++ b/src/constant.rs @@ -518,6 +518,7 @@ pub(crate) fn mir_operand_get_const_val<'tcx>( StatementKind::Assign(_) | StatementKind::FakeRead(_) | StatementKind::SetDiscriminant { .. } + | StatementKind::Deinit(_) | StatementKind::StorageLive(_) | StatementKind::StorageDead(_) | StatementKind::Retag(_, _) |